Monthly Archives: January 2018

Category Theory: A Gentle Introduction

At long last, I have updated my  notes Category Theory: A Gentle Introduction (now some x + 291 pages). A good while ago, I received lists of corrections from a number of people, and just recently I’ve had another tranche of … Continue reading

Posted in Category theory | Leave a comment

The Language of Category Theory

I’m taking a week or so off from on working the d****d second edition of my logic text (it’s quite fun, if you like that sort of thing, most of the time: but it is good to take a break). … Continue reading

Posted in Books, Category theory | Leave a comment

Georg Kreisel — partial bibliography

Clearing out an old box, I’ve come across a crumpled xerox of a bibliography of some two hundred papers and other pieces by Georg Kreisel, covering up to the early 1990s. I believe this biblio was passed on to me … Continue reading

Posted in This and that | Leave a comment

Pavel Haas Quartet play Schubert

For another couple of weeks you can listen via the BBC website to a characteristically intense performance of the Schubert G major Quartet D887 by the Pavel Haas Quartet, from the Schubertiade last June, recorded at the Angelika Kauffmann Saal, … Continue reading

Posted in Music, Pavel Haas Qt | Leave a comment

Symbol for assignment of a truth-value?

Here’s an odd thing. There seems, browsing along my shelves, to be no really standard symbolic metalinguistic shorthand used in elementary books for assigning a truth-value to a wff (say, in the propositional calculus). You would have expected there to … Continue reading

Posted in This and that | 5 Comments