Category Theory, Autumn 2026
General Information
For questions,
you can contact me by e-mail (
vanderweide@inf.elte.hu) or ask me during one of the lectures.
Examination
Course Material
The lecture notes are under development
and will be updated regularly.
The current version is available
here.
Course Schedule (tentative)
- Lecture 1:
definition of categories, examples of categories, monomorphisms/epimorphisms/isomorphisms
- Lecture 2:
basic limits and colimits
- Lecture 3:
functors and natural transformations
- Lecture 4:
algebras and coalgebras
- Lecture 5:
adjunctions and examples
- Lecture 6:
monads and adjunctions
- Lecture 7:
presheaves and the Yoneda lemma
- Lecture 8:
Cartesian closed categories and examples
- Lecture 9:
Cartesian closed categories and the λ-calculus
- Lecture 10:
hyperdoctrines and first-order logic (part 1)
- Lecture 11:
hyperdoctrines and first-order logic (part 2)
- Lecture 12:
hyperdoctrines and higher-order logic
- Lecture 13:
questions and outlook