category-theory-notes

Notes for the category theory class I'm teaching at MIT (Jan 2026)