Jencel PanicQuestion 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 ends at .
Jesus Margar
José A. Alonso
Can the most abstract math make the world a better place? ~ Natalie Wolchover https://www.quantamagazine.org/can-the-most-abstract-math-make-the-world-a-better-place-20260304/ #CategoryTheory #Math
Category theory for programming. ~ Benedikt Ahrens, Kobe Wullaert. https://arxiv.org/abs/2209.01259v1 #CategoryTheory #Haskell #LeanProver #FunctionalProgramming
Category Theory for Programming
In these lecture notes, we give a brief introduction to some elements of category theory. The choice of topics is guided by applications to functional programming. Firstly, we study initial algebras, which provide a mathematical characterization of datatypes and recursive functions on them. Secondly, we study monads, which give a mathematical framework for effects in functional languages. The notes include many problems and solutions.
Soh Kam YungArticle on applied category theory, featuring quotes from @johncarlosbaez
"[Natalie Wolchover] I’ve learned that applied category theory has had some wins lately. The applications are not yet as green as Baez had hoped, but the approach is showing potential in important areas, including epidemiology and artificial intelligence safety."
https://www.quantamagazine.org/can-the-most-abstract-math-make-the-world-a-better-place-20260304/
Pablo DonatoExcited to announce the Call for Contributions for the inaugural Workshop on Diagrams in Logic and Computation (DIALOCO)!
📍 Affiliated with FLoC 26
🗓️ July 19, 2026 | Lisbon, 🇵🇹
If you work on string diagrams, proof nets, visual proof assistants, or any other use of diagrammatic methods in logic/computer science, we want to hear from you. We strongly encourage submissions from students and early-career researchers!
Full details and deadlines here: https://dialoco.github.io/dialoco26/
Co-organized with Alessandro Di Giorgio and Nathan Haydon.
Boosts appreciated!
Tom de JongThe program for the 112th Peripatetic Seminar on Sheaves and Logic (PSSL 112) is up on the website https://sites.google.com/view/pssl112/program
17 talks on #CategoryTheory (and #TypeTheory) from a variety of speakers!
If you'd like to attend please register by March 14th following the form on the website https://sites.google.com/view/pssl112/home
Anupam 🇮🇳《ミ》λ≡Starting a new video series on #CategoryTheory. Please provide feedback. Brickbats welcome, especially of the constructive kind! #FunctionalProgramming
https://www.youtube.com/watch?v=aKIu09RH_dk&list=PLKRL4Pfe2WhopZG1paDPIGtBZszSQFWky
Category Theory for the Working Programmer - 1.0 - Prologue
RE: https://fosstodon.org/@zurihac/116040294275089930
I will be speaking about #categorytheory at ZuriHac 2026!