Peter Smith

Sometime Cambridge logic lecturer, now idling in retirement. Also procrastinating at @[email protected]

[Peter Smith @PeterSmith]

@neoliberalaf Yes, at its level it is a good book.

[Peter Smith @PeterSmith]

ICYMI elsewhere. There's a pbk version of *Introducing Category Theory*, 3rd edn. new today, ISBN 1068346728. Amazon-only print on demand to keep the price minimal. Or you can still download the PDF from https://t.co/Np37BcxiYp (more info there). Spread the word :)

[Peter Smith @PeterSmith]

A new blog post about using AI in proofreading the upcoming revised 2nd edition of my category theory book. Might be of some interest to other maths writers. https://t.co/LAytGjLgsB

[Peter Smith @PeterSmith]

@ae_stallings @katherineveritt Poetic, but to use a mathematical technicality, bollocks.

[Peter Smith @PeterSmith]

@daisyldixon You should have tried (one-time Cambridge hero) Jonathan Bennett’s *Kant’s Analytic” instead! The only history of modern phil book I kept when I retired…

[Peter Smith @PeterSmith]

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 https://t.co/lNQxdvA4a5 (more info there). Spread the word :)

[Peter Smith @PeterSmith]

@JohnMacIntyre2 Not @PeterSmith though ….

[Peter Smith @PeterSmith]

Or if you just want something a bit more substantial then e.g. Eugenia Cheng's book but less challenging than e.g. Tom Leinster's, this might hit the spot in between. Enjoy, as they say!

[Peter Smith @PeterSmith]

New online today -- an almost complete draft for a second edition of *Introducing Category Theory*. Cheapo pbk to come in Feb/March (in the meantime, all corrections VERY welcome as my proof-reading is probably terrible!). You can download it from https://t.co/XCgF53zIUO

[Peter Smith @PeterSmith]

The table of contents and the Preface will give you a good idea whether this will be of any interest to you. But if, for example, you are about to start an industrial-strength category theory course, this could provide a gentle warm-up.

[Peter Smith @PeterSmith]

Three short-ish blog posts so far on Noson Yanofsky’s new book on Monoidal Category Theory at https://t.co/PLzhGjwMl0

[Verity Milligan @VerityMilligan]

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 🧡

[Daniel Callcut @danielcallcut]

Bernard Williams writing about the internet (2002).

[Peter Smith @PeterSmith]

@keithfrankish Gosh, the state of the replies ….!

[Peter Smith @PeterSmith]

@Susanne_Bobzien Thanks! — and I’ll look forward a lot to seeing the HPL paper. :)

[Peter Smith @PeterSmith]

@Mark_Jago To my mind, “matrices” is so tied to mathematical contexts (linear algebra, graph theory, etc.) where such things can e.g. be multiplied, have eigenvalues, and whatnot, that the term should probably be avoided if all that is meant is a table.

[Peter Smith @PeterSmith]

@Mark_Jago None of the above … they are “many-valued truth-tables” ;). Or, if the number of values is given, a “three-valued truth-table” or whatever.

[Peter Smith @PeterSmith]

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 https://t.co/I3FQgKIpYN. Enjoy, as they say …

[Peter Smith @PeterSmith]

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 …

https://t.co/eWAiWM8yRQ