Actegories
ibobev
48 points
9 comments
July 14, 2026
Related Discussions
Found 5 related stories in 975.0ms across 14,015 title embeddings via pgvector HNSW
- Applied Category Theory Course (2018) measurablefunc · 86 pts · July 03, 2026 · 58% similar
- Category Theory Illustrated – Types boris_m · 91 pts · April 03, 2026 · 54% similar
- Category Theory Illustrated – Orders boris_m · 237 pts · April 18, 2026 · 48% similar
- Tagging Blog Posts with BERTopic and LLMs mpbart · 14 pts · May 19, 2026 · 45% similar
- Categorization Is 'Baked' into the Brain XzetaU8 · 12 pts · April 13, 2026 · 45% similar
Discussion Highlights (4 comments)
ultimatefan1
this has a real "a monad is a monoid in the category of endofunctors" energy to it
lyall
If you saw TFA and thought "hmmm yes, I know some of those words", then I can recommend the author's own lecture series on YouTube [0]. It's an intro to and overview of category theory aimed at programmers, with the requisite context and motivation for why anyone should care. It's long but worth the time investment IMHO. 0: http://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7...
speed_spread
Uh thanks but I'm gonna stick with Scattergories for now.
xqb64
I'd like to understand how and why this stuff is useful for programmers.