category-theory-notes

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

Name		Name	Last commit message	Last commit date
Latest commit History 30 Commits
images		images
.gitignore		.gitignore
CommDiag.lean		CommDiag.lean
LICENSE		LICENSE
Main.lean		Main.lean
README.md		README.md
commutative.dsl		commutative.dsl
commutative.sty		commutative.sty
header.typ		header.typ
lake-manifest.json		lake-manifest.json
lakefile.toml		lakefile.toml
lean-toolchain		lean-toolchain
notes.pdf		notes.pdf
notes.typ		notes.typ

Provide feedback