ICT again, but also Mozart, Brauß and Pires again

I have updated Introducing Category Theory to version 2.4: download here. As well as many minor corrections, there is a restored §18.4 on ‘naming’ arrows, and a new §18.5 touching on Lawvere’s fixed point theorem (at least giving a clear proof). Fun enough if you like this kind of thing.

But we need a lot more to distract, console, nourish us in these troubling times. For a start, we need more Mozart in our lives. The photo above is a very characteristic shot of Elisabeth Brauß rehearsing for her performances a few days ago playing K.271 — the ‘Jeunehomme’ concerto — with the Bournemouth Symphony Orchestra. Sadly, there is no recording of them. Here she is, though, nine years ago when just starting out aged 21, already showing what a wonderful Mozart player she is:

K.217 AllegroK.217 AndanteK.217 Rondeau, Presto

And here, some fifty-five years older, is that great Mozart pianist Maria Joāo Pires playing the same piece just a couple of years ago:

K217 (complete)

Wonderful too — and isn’t there something deeply in common too in the two pianists’ utterly honest, unshowy, loving performances of the music? Both such a delight.

The post ICT again, but also Mozart, Brauß and Pires again appeared first on Logic Matters.