Peter Smith @PeterSmith
Sometime Cambridge logic lecturer, now idling in retirement. Also procrastinating at @[email protected] logicmatters.net/about Cambridge Joined December 2007-
Tweets7K
-
Followers3K
-
Following437
-
Likes730
@neoliberalaf Yes, at its level it is a good book.
0
0
1
41
0
View Details
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 logicmatters.net/categories (more info there). Spread the word :)
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. logicmatters.net/2025/12/28/ai-…
@ae_stallings @katherineveritt Poetic, but to use a mathematical technicality, bollocks.
@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…
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 :)
@JohnMacIntyre2 Not @PeterSmith though ….
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!
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.
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 logicmatters.net/categories
Three short-ish blog posts so far on Noson Yanofsky’s new book on Monoidal Category Theory at logicmatters.net/blog
Peter Smith retweeted
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 🧡
Peter Smith retweeted
Bernard Williams writing about the internet (2002).
@keithfrankish Gosh, the state of the replies ….!
@Susanne_Bobzien Thanks! — and I’ll look forward a lot to seeing the HPL paper. :)
@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.
@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.
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 …
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…
Joel David Hamkins @JDHamkins
29K Followers 286 Following Mathematics and philosophy of the infinite. Professor of Logic @NotreDame @UniofOxford #ProofandtheArt #PhilMaths #InfinitelyMore #BookOfInfinity
Page about Timothy Wi... @TWilliamson55
6K Followers 2K Following NON PHILOSOPHER ADMIN RUN. Facts ABOUT T. Williamson, work,biography,schedule,books, articles. He’s too busy to use social media.Opinions here if any, by admin.
Keith Frankish @keithfrankish
32K Followers 2K Following Philosopher, writer, Ελληνοβρετανός. Honorary Professor, University of Sheffield. Mind, consciousness, illusionism, cog-sci, Ελλάδα. Also at @philosynthesis_
Anita Leirfall @anitaleirfall
26K Followers 5K Following Associate Professor, Department of Philosophy, University of Bergen @UiB_philosophy @UiB
Prof. Catarina Dutilh... @cdutilhnovaes
7K Followers 636 Following Philosopher at @VuAmsterdam | PI of @ERC_Research project 'Social Epistemology of Argumentation' @erc_sea | Member of @_knaw (she/her) 🇧🇷🇳🇱
Logical Analysis @LogicalAnalysis
12K Followers 9K Following Abstracta Enjoyer| Mainly: Bertrand Russell's Philosophy, Metaphysics of Spacetime |Broadly: Metaphysics, Phil Sci, Phil Maths, Early Analytic Philosophy, Logic
Nigel Warburton 🇺�... @philosophybites
99K Followers 10K Following Little History of Philosophy and other books https://t.co/HJz09HTicJ @aeonmag @thenewphil @five_books weekly column @TheNewWorldmag
Dr Valeria dePaiva @valeriadepaiva
4K Followers 2K Following Logician, category theorist, semanticist. Likes to understand life mathematically. She/Her
Philippe Lemoine @phl43
69K Followers 2K Following Just a random person writing about stuff. "At least he's pretty smart." (@bechhof)
Ray Monk @Raymodraco
10K Followers 4K Following Emeritus Professor of Philosophy, biographer, evangelical vegan and eco-warrior. Also on Facebook and Instagram.
Lorvesaa @Lorvesaa4ph
132 Followers 1K Following
Márcio Palmares @marcio_palmares
24 Followers 39 Following
/dev/null @wrongbyte
815 Followers 717 Following Trying to code and failing miserably since 2021. I love books, mathematics and a bit of chaos. I also write (bad) Rust 🦀
CommanderRMB @selectdetail57
40 Followers 1K Following
马 @fengfen78304666
0 Followers 83 Following
Democritus Sr @DemocritusSr
6K Followers 898 Following Professional Editor. Curated short texts – literature, philosophy, theology – with focus on traditional verse poetry (especially sonnets), choice translations.
Adán Ortega @AdnOrtega193957
1 Followers 16 Following
Lilian @Lilian_Sharov
2 Followers 73 Following
benelsem @benelsem
16 Followers 407 Following
Urd @Urd1248489
6 Followers 186 Following
John Hawkwood @johnhawkwood123
73 Followers 3K Following
Thug Logician @LogicianThug
64 Followers 1K Following
Lucas Soares @pseudagem
162 Followers 5K Following Doutor em psicologia pela UFJF e doutorando em psicologia clínica com ênfase em neurociência pela PUC-RIO.
We Read Snobby Books @WeReadSnobbyBks
13 Followers 310 Following Reading the Snobbiest Books ever and telling you about it!
Zip.zip.zip @zip_zip_zip123
40 Followers 1K Following
Saçmasapan @Nskdmdnskeld
39 Followers 186 Following Yaşamak, bir ağaç gibi tek ve hür, Ve bir orman gibi kardeşçesine
Leviathan @wohkoon
216 Followers 4K Following Son, Husband, Father, Researcher, Geek and Tech enthusiast.
Oreganomayfeather @1000s_of_Ks
13 Followers 511 Following
B @Babylon70_
3 Followers 394 Following
Karl Leonard Reinhold @KarlLReinhold
3 Followers 32 Following
_céline.2 @_celinelf
8 Followers 127 Following
J @EtAbundatGratia
10 Followers 40 Following
shishiba² @shishiba54
64 Followers 82 Following Te prometí que te protegería, por eso es que sigo aquí, a tu lado
The Bishop of Math @thebishopofmath
1 Followers 682 Following
Ben Shaputo 🌐 @ZalalaZuck
82 Followers 719 Following doo-bee-doo-bee-do-bah, doo-bee-doo-bee-do-bah (bem melhor agora). se quiser pode me chamar de berg
Crafting Strength @CrgSt34
0 Followers 109 Following
Faizan Kazim @moonlightsought
7 Followers 568 Following
marco @marco_p_g
17 Followers 250 Following
The Galois Connection @TheGaloisCxn
3K Followers 1K Following Quantum Simulation | Diagrammatic Logic | Poetry of Concrete Categories | Ethical AI | SuperRare 2018 | Berlin Art Week 2019 | NFT Factory Paris 2023
Clayton Lin @ClaytonLin2
0 Followers 147 Following
Ydorarqor @Ydorarqor893
47 Followers 2K Following
Joel David Hamkins @JDHamkins
29K Followers 286 Following Mathematics and philosophy of the infinite. Professor of Logic @NotreDame @UniofOxford #ProofandtheArt #PhilMaths #InfinitelyMore #BookOfInfinity
Timothy Gowers @wtgow... @wtgowers
57K Followers 187 Following Mathematician. Professeur titulaire de la chaire Combinatoire au Collège de France. Also fellow of Trinity College Cambridge.
Page about Timothy Wi... @TWilliamson55
6K Followers 2K Following NON PHILOSOPHER ADMIN RUN. Facts ABOUT T. Williamson, work,biography,schedule,books, articles. He’s too busy to use social media.Opinions here if any, by admin.
Keith Frankish @keithfrankish
32K Followers 2K Following Philosopher, writer, Ελληνοβρετανός. Honorary Professor, University of Sheffield. Mind, consciousness, illusionism, cog-sci, Ελλάδα. Also at @philosynthesis_
Doctor Logic @SaraLUckelman
5K Followers 2K Following #Logician, #Onomast, #Medievalist, #AcademicMama, #Author, #Immigrant, founder of https://t.co/BFZX9c9uUK and @EllipsisImprint. Own views. Robot.
Anita Leirfall @anitaleirfall
26K Followers 5K Following Associate Professor, Department of Philosophy, University of Bergen @UiB_philosophy @UiB
Prof. Catarina Dutilh... @cdutilhnovaes
7K Followers 636 Following Philosopher at @VuAmsterdam | PI of @ERC_Research project 'Social Epistemology of Argumentation' @erc_sea | Member of @_knaw (she/her) 🇧🇷🇳🇱
Logical Analysis @LogicalAnalysis
12K Followers 9K Following Abstracta Enjoyer| Mainly: Bertrand Russell's Philosophy, Metaphysics of Spacetime |Broadly: Metaphysics, Phil Sci, Phil Maths, Early Analytic Philosophy, Logic
Nigel Warburton 🇺�... @philosophybites
99K Followers 10K Following Little History of Philosophy and other books https://t.co/HJz09HTicJ @aeonmag @thenewphil @five_books weekly column @TheNewWorldmag
Dr Eugenia Cheng --no... @DrEugeniaCheng
26K Followers 0 Following Pure Mathematician+pianist. Grieving involuntary childlessness. Author: Unequal: The mathematics of when things do and don't add up, out 2025
Bartosz Milewski @BartoszMilewski
36K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Dr Valeria dePaiva @valeriadepaiva
4K Followers 2K Following Logician, category theorist, semanticist. Likes to understand life mathematically. She/Her
Sean Carroll @seanmcarroll
322K Followers 422 Following Physics, philosophy, complexity. @JohnsHopkins & @SFIscience. Host, #MindscapePodcast. Married to @JenLucPiquant. Increasingly at Bluesky rather than here.
arXiv math.LO Logic @mathLOb
2K Followers 0 Following Unofficial bot by @vela with https://t.co/qRyAuN2QxC. @mathFAbot @mathGMb @mathGNb @mathGRbot @mathGTb @mathHOb @mathITbot @mathKTb @mathMGb @mathMPb ...
Dr Daisy Dixon @daisyldixon
35K Followers 2K Following 💡Philosopher of art @cardiffuni, lifts 💪| 📕DEPRAVED: the story of dangerous art | PhD @Peterhouse_cam | ig:daisylouisedixon |she/they @georginacapel
Democritus Sr @DemocritusSr
6K Followers 898 Following Professional Editor. Curated short texts – literature, philosophy, theology – with focus on traditional verse poetry (especially sonnets), choice translations.
David Frum @davidfrum
948K Followers 1K Following Writer, https://t.co/ncUQxYcjF4; Host, The David Frum Show. Contact via https://t.co/RUALwKHMRU or [email protected]
Aaron Reichlin-Melnic... @ReichlinMelnick
94K Followers 2K Following Senior Fellow @immcouncil. Tweeting on immigration policy and data. Formerly immigration lawyer with @IJCorps. Views my own, retweets =/= endorsements.
Deryn Rees-Jones @DerynRJ
3K Followers 2K Following Poet, editor @pavilionpoetry, critic, etc. Paula Rego: The Art of Story (Thames & Hudson) @notjustdancing.bsky.social
Jimmy Wales @jimmy_wales
214K Followers 804 Following For press inquiries about my book, please email [email protected] .
Daniel Callcut @danielcallcut
4K Followers 3K Following Philosopher and writer. Articles and reviews for @Aeonmag @NewStatesman @prospect_uk @NewHumanist @ArtsPro @psyche_the_mag Editor of Reading Bernard Williams
Dominic Grieve @dominicgrieve_
41K Followers 81 Following Vice President European Movement U.K., former Attorney General and MP for Beaconsfield from 1997-2019
Sophie Maclean @sophiemacmaths
998 Followers 310 Following (formerly @sophiethemathmo) Mathmo Noun 1. (slang) Student of Mathematics 2. Lover of all things Mathsy 3. Me https://t.co/3huWFZzReJ
Igor Toronyi-Lalic @igortoronyi
4K Followers 2K Following @Spectator arts editor / @LCMF_ director https://t.co/P2Q2NEUFTh
Michael Evans @TeamTock
607 Followers 2K Following TOCK Analytics (my math project and totally awesome vaporware company that has fun). Exploring the world of applied category theory. Proven critical systems.
Marylin Delgado @phil... @philosophypills
8K Followers 6K Following Associate Researcher. Former Associate Professor of Philosophy. Author. Ethics. Philosophy of Action. Intersection of Epistemology and Ethics. https://t.co/bI2WfZ3dBc
Léon Probst @Probst_lp
27 Followers 69 Following PhD student in philosophy at @ISFILugano and @USI_university, mostly doing logic and phil of math
Pietro Monticone @PietroMonticone
3K Followers 606 Following AI for Mathematics @HarmonicMath || Formalising Mathematics and Software in @LeanProver || Developing Free Open Source Software in #Lean, #Python and #Julia.
Artem Chernikov @archernikov
4K Followers 1K Following Michael Brin professor of mathematics at @UofMaryland. Mathematical logic, model theory -and connections to combinatorics, algebra, etc.
Protean Magazine @proteanmag
19K Followers 581 Following An independent leftist magazine collecting criticism, essays, fiction, poetry, and art • Support us at https://t.co/pYeu1pICAz
Emily Qureshi-Hurst @... @equreshihurst
5K Followers 562 Following Philosopher of Religion & Science @Cambridge_Uni @FitzwilliamColl Decoding the Cosmos: https://t.co/RMLcpYgxxU
Rineke Verbrugge @RinekeV
1K Followers 825 Following Scientist: logic & cognition, artificial intelligence. She / her
Caroline Palmer @CanaryCaroline
2K Followers 5K Following Long-suffering Norwich City fan (any other sort?). Opinions expressed here are my own and don't reflect my employers.
Dr Emily MacGregor @e_macgregor
1K Followers 1K Following Writing & music: WHILE THE MUSIC LASTS @septemberbooks OUT NOW | academic @kingsmusicdept | sporadic broadcaster | agent @itshallBDunn
join_zoe @Join_ZOE
27K Followers 1K Following Eat for your best health with personalised advice from the world’s largest nutrition science study
Inexpensive Progress ... @ThatArtBlog
966 Followers 810 Following Hi, I am Robjn. I blog about art and write books. My new book on Edward Bawden & Gt Bardfield is out now, as is Nan Youngman and Pictures for Schools.
Dr Sophie Hay @pompei79
44K Followers 844 Following Just an archaeologist who works at the Archaeological Park of Pompeii ~ https://t.co/FZNJ35FWZW
Tom Harwood @tomhfh
202K Followers 995 Following Deputy Political Editor & Presenter @GBNews | Journalist, commentator, I do real news | For more nuance than 280 characters: https://t.co/XjLEStEwGi
d.moreno @dmoreno62392241
9 Followers 323 Following
Hamza Waseem @quantum_physics
2K Followers 1K Following Oxford Physics DPhil (Rhodes Scholar) | All opinions my own
The MET: European Pai... @met_eupaintings
12K Followers 249 Following Public domain works from The Met's European Paintings department. Not associated with @metmuseum. #artbot by @andreitr
peaklass @peaklass1
52K Followers 789 Following Peak District lover of hills, trees and outdoorness. Photographer, wanderer, writer, noticer. All images my own, no AI.
UConn Logic Group @UConnLogicGroup
1K Followers 176 Following The UConn Logic Group is an active research hub, with over forty members from mathematics, philosophy, linguistics, computer science, psychology, and law.
theoldbuilding @theoldbuilding
112K Followers 591 Following Georgian, Victorian, Regency Architecture. All photography my own. Order my book, a beautiful collection of Stamford photography between 2018-2023.
Dystopian Times @DystopianTimes_
50K Followers 8K Following
Ghost of Hellas @ghostofhellas
216K Followers 38K Following Greek art and culture through the ages. 🏛️ Your gateway to Ancient Rome & archaeology tours 👉https://t.co/2jy9H678xV
Dr Paula Lock @PaulaLock5
3K Followers 532 Following Classical history | Archaeology | Ancient Roman bars | Sensory studies https://t.co/0TRHtmaTpR
David Gauke @DavidGauke
93K Followers 836 Following Former MP, Minister & left arm spin bowler. Writes columns. Editor ‘The Case for the Centre Right’, published 29 September. All views my own.
Romina Padro @romina_padro
350 Followers 227 Following
Marina Purkiss @MarinaPurkiss
491K Followers 3K Following I’m not always having a go at wrong’uns…sometimes I’m sleeping | Political Commentator & Podcaster | @thetrawlpodcast | @timesradio | @jeremyvineon5 | @lbc |
Katherine Pangonis @Katie_Pangonis
523 Followers 158 Following Writer - books and articles Peripatetic homebody https://t.co/dZs5ijyU6g
Yaroslava @strategywoman
117K Followers 302 Following Culture and life in Ukraine during war. Letters and live walks on Patreon: https://t.co/SKkBi61EBe
Samuel Hughes @SCP_Hughes
43K Followers 273 Following Editor @WorksInProgMag | Fellow @CPSThinkTank & @createstreets | Interested in architecture & urbanism | Views my own
SiteGround @SiteGround
134K Followers 3K Following Managed #WordPress hosting with top-rated 24/7 support 💻 Local accounts: 🇪🇸 @SiteGround_ES, 🇮🇹 @SiteGround_IT, 🇩🇪 @SiteGround_DE and 🇫🇷 @SiteGround_FR
Simon McDonald @SimonMcDonaldUK
42K Followers 255 Following Master, @christs_college. Crossbench Peer @UKHouseofLords. Ex- @FCDOGovUK
Isaac Newton Institut... @NewtonInstitute
16K Followers 413 Following News from the UK's premier mathematical institute. We bring the world's top scientists together to collaborate in advanced research programmes.
European Movement UK @euromove
121K Followers 9K Following This is the campaign to rebuild the UK-EU relationship. Help us win ⬇️
Richard Murphy @RichardJMurphy
233K Followers 1K Following Economic justice campaigner. Emeritus Professor of Accounting Practice, University of Sheffield. Political economist. https://t.co/Xtno36nWtH
Domenico Ghirlandaio @GhirlandaioArt
5K Followers 245 Following Fan account of Domenico Ghirlandaio, an Italian Renaissance painter born in Florence. #artbot by @andreitr
Devieilhe Florence @FloDev14
55 Followers 133 FollowingYou might like
Francesco Berto
@Franz_Berto
4K Followers
Logical Analysis
@LogicalAnalysis
12K Followers
Craig French
@craigafrench
3K Followers
Experimental Philosop...
@xphilosopher
20K Followers
Saul Kripke Center
@KripkeCenter
3K Followers
David Bourget
@dbourget
547 Followers
Tuomas Tahko
@ttahko
2K Followers
Joe Ulatowski
@oohlah
1K Followers