"Some people feel guilty about buying more books than they'll get round to reading. But if you buy books by living authors, you make it possible for us to keep writing. Think of it as an investment in the kind of writing that interests you." - Nigel Warburton

ICYMI : A blog review of the recent book by Ana Agore "A First Course in Category Theory". Advertised as an introduction for beginners, and suitable for self-study. Is it? logicmatters.net/2024/03/06/ana…

The day before yesterday I started a blog. Today is its eighteenth birthday. How the heck did that happen? logicmatters.net/blog/

The remarkable German pianist Elisabeth Brauss displays her astonishing talent Wigmore Hall at lunchtime today in a programme of mischievous Prokofiev, dreamy Albeniz and Beethoven in all his wit and brilliance. The was a meticulous recital of life-affirming and infectious joy.

Unsurprisingly fine concert Wigmore Hall today by the ever-excellent Elisabeth Brauss in a typically rewarding programme of Prokofiev, Albéniz & Beethoven. Can be heard BBC Radio 3 7 BBC Sounds.

At last: *Category Theory I: A gentle prologue* is now available as an inexpensive paperback. For details see logicmatters.net/2024/04/02/cat… And please spread the word! Useful, I hope, as prelim/parallel reading for those starting a course, or for the curious ...

(Occurs to me Byron could maybe have a bear in college in US today, as long as it was certified as an emotional-support bear?)

Timothy Chow has post at Logic Matters on the value of proof assistants in producing new mathematical knowledge. (Arising from earlier discussion on blog abt the Lean verification of consistency of NF.) Interesting stuff: do join in discussion :) logicmatters.net/blog/

Two recent posts at the Logic Matters blog about the use of Lean to verify the proof of the consistency of NF already have 35 comments. Interesting -- and do join in if you (especially if you have views about the use of Lean and proof assistants). logicmatters.net/blog/

Turning my mind to the next iteration of the much-downloaded *Beginning Mathematical Logic Study Guide*. What more or less recent books not mentioned in the last edition would you recommend? Particularly on core FOL? logicmatters.net/2024/06/16/bac…

Child In A Tantrum Get more Rembrandt 🍒 linktr.ee/rembrandt_artb…

There is, at last, a full draft of my *Introducing Category Theory* notes, which can be freely downloaded. Enjoy, as they say. I’m not quite sure how I managed to write a 450 page book without really meaning to, but there you go … logicmatters.net/2024/07/01/int…

Another Big Red Logic Book! There is, at last, a minimum-cost pbk of my intro notes on category theory — probably easier to work from than the 452 page PDF(!?), though that is still freely downloadable. Details at logicmatters.net/categories. Enjoy, as they say …

Day 15 of my futile one-woman crusade to keep real images popping up on your feed rather than AI. Autumnal archway in Clent, Worcestershire. The end of autumn is often my favourite, when the colours are at their most intense 🧡

Three short-ish blog posts so far on Noson Yanofsky’s new book on Monoidal Category Theory at logicmatters.net/blog

ICYMI elsewhere. There's now a pbk version of *Introducing Category Theory*, 2nd edn., ISBN 1068346701. Amazon-only print on demand to keep the price minimal for a 500pp book. Or you can still download the PDF from logicmatters.net/categories (more info there). Spread the word :)