Notes

Lecture Notes

• Category Theory for Programmers Course notes written for the master course ‘Category Theory for Programmers’ presented at Delft University of Technology.

Projects created during studies

• Bachelor Thesis Untyped Lambda Calculus and Scott’s model.
• Category Theory Introduction to elementary topoi and their proof of finite cocompleteness.
• Mathematical Logic Internal logic of elementary topoi (written in Dutch).
• Seminar Homological Algebra Axiom of infinity in elementary topoi.
• Seminar Analysis and Topology Localic topoi.
• Master Thesis Two-dimensional topos theory.