Tom de JongThanks to our speakers and @Stiephen all the slides for PSSL 112 are now available on the PSSL website! https://sites.google.com/view/pssl112/program
Jencel PanicPublished a new chapter of #categorytheoryillustrated - Types
https://abuseofnotation.github.io/category-theory-illustrated/06_type/
José A. AlonsoReadings shared March 29, 2026. https://jaalonso.github.io/vestigium/posts/2026/03/30-readings_shared_02-29-26 #AI #AI4Math #CategoryTheory #ITP #LeanProver #Logic #Math #Programming
Formally verifying digital circuits with category theory in Lean. ~ Matt Hunzinger. https://matt.hunzinger.me/2026/03/28/circuits.html #LeanProver #ITP #CategoryTheory
Counting Is Hard
Fuyumiya YuhlliHi #Mathstodon!
I’m a 2nd-year math student from Japan.
Interests:
Mathematical Logic / Foundations
Model Theory
Currently reading:
Ebbinghaus, "Mathematical Logic" 📖
I really want to read "Sheaves in Geometry and Logic" (SGL), but I’m still struggling with Category Theory. Any advice on where to start?
I'm also challenging myself to study math in English! Please feel free to correct my English or math anytime - I’d love to learn from you. 🐏
Question for people with background in #categorytheory , which of the two is more correct/understandable:
"A monoid is...
...a category with one object"
...isomorphic to a category with one object"
Other (comment)
Poll ended at .
Jesus Margar
