COMPSCI 692CT — Category Theory for AGI
Meets Mon/Wed 5:30–6:45pm ET · Online (live & recorded) · Instructor: Sridhar Mahadevan · Zoom link: contact me
What is this course about?
The world's largest AI companies are collectively spending several trillion dollars in the most expensive race in human history to build artificial general intelligence (AGI). This course will give students a detailed introduction to category theory, and how to use it to analyze today’s AGI systems, understand their limitations and how to design the next generation of AGI sytems. We’ll cover the core theoretical concepts, including categories, functors, natural transformations, the Yoneda lemma, limits & colimits, adjunctions, monads, and Kan extensions, as well as their application to building AGI systems that can reason causally, learn from their experience, plan to achieve long-term goals, interact with users in natural language, and ultimately, achieve consciousness. Broadly, the first 7 weeks of the course will present the Yoneda viewpoint: behavioral equivalence is sufficient for AGI (the "attention is all you need" perspective). Weeks 7 through 14 will cover the topos theory perspective: consciousness is crucial for AGI, which requires logical reasoning in a topos through maintaining local truths via a subobject classifier.
Texts
- Primary: Emily Riehl, Category Theory in Context (Dover, 2016). Download Emily Riehl's book
- Primary: Sridhar Mahadevan, Categories for AGI (2026). Free PDF hosted by the author: Download Categories for AGI book
GitHub Repository
- CLIFF: First AGI chatbot designed using FunctorFlow: GitHub Repository
- DEMOCRITUS: Extract causality from language using FunctorFlow: GitHub Repository
- BASKET: Build Agentic Worfklows from Textual Documents: GitHub Repository
- ROCKET: Diffusion Models from Textual Documents: GitHub Repository
- Sample Code will be available here and updated periodically: GitHub Repository
- NEW: Lean-encoded verification of the main results in the book, building on Simon Frost's GitHub repository: Lean 4 Formalization of the Categories for AGI Book
Tentative weekly outline
| Week | Category Theory Focus | Slides |
|---|---|---|
| W1 | Categories & Functors | Lecture 1, Lecture 2 |
| W2 | Natural Transformations & Yoneda Lemma | Lecture 3, Lecture 4 |
| W3 | Limits & Colimits | Lecture 5, Lecture 6 |
| W4 | Simplicial Sets and Geometric Transformers | Lecture 7, Lecture 8 |
| W5 | Adjunctions and Kan Extensions | Lecture 9, Kan Extension Transformers |
| W6 | From Attention Models to Causality | Causality from Language (Invited Talk, Tufts University) |
| W7 | SPRING BREAK! | No Lectures |
| W8 | Diffusion Models of Corporate Geometry | Diffusion Models of Corporate Geometry |
| W9 | Topos Causal Models I | Topos Causal Models |
| W10 | AGI and Consciounsess | AGI and Consciousness |
| W11 | Universal Decisions with Kan Extensions | Universal Decisions with Kan Extensions |
| W12 | RL in Universal Coalgebras & Coinduction | |
| W12 | Compositional Network Economics | |
| W14 | Final Project Presentations | Project Presentations |
This outline will evolve; readings and Zoom link will appear here.
Contact
Instructor: Sridhar Mahadevan · Email: mahadeva@cs.umass.edu
© 2026 UMass Amherst · COMPSCI 692CT