I have various time-consuming plans for the next few weeks and also need to do quite a bit of reading if I’m to put together a decent update for the Teach Yourself Logic guide for 2016. Hence work on revising the category theory notes — already going at, shall we say, a rather gentle pace — will no doubt slow even more. So I thought I would put online the current version of Category Theory: A Gentle Introduction even though it doesn’t reach a natural break point. So far then, the now fourteen chapters (123 pp.), after introducing categories, consider limits and exponentials (constructions within categories) before moving on to start talking about functors (maps between categories). The category theory page here indicates which chapters to then read in the old notes, if you are feeling suitably enthused!
- Logic people might be interested in a PDF of an (old) biblio of Georg Kreisel … https://t.co/HnOdqqdR5W, Jan 20
- RT @Vella_Schiavo: “Tu non fai che cercar di tamponare la solitudine che sfugge da tutte le parti.” John Steinbeck ~ (Quel fantast… https://t.co/Sqqw9Mbxl9, Jan 19
- Logic people … what [metalanguage] symbol do you like to use for assigning a truth value to a wff??? https://t.co/OlouUTAzh0, Jan 13
- My version of dry January was to be not reading anything about blasted Br*x*t this month. Huh. Not going too well … I need to get a grip!, Jan 12
- RT @JoWolffBSG: Suppose you read a book a fortnight. And have an active adult reading life of 60 years. So that's only 1560 books i… https://t.co/8LI4iA7kDh, Jan 12