Writings

Publications and Preprints

• K. Wullaert, and N. v.d. Weide, The Rezk Completion For Elementary Topoi, preprint.

• A. van der Leer, K. Wullaert, and B. Ahrens, Scott’s Representation Theorem and the Univalent Karoubi Envelope, in 16th International Conference on Interactive Theorem Proving (ITP 2025).

• B. Ahrens, R. Matthes, N. v.d. Weide, and K. Wullaert, Displayed Monoidal Categories for the Semantics of Linear Logic

• R. Matthes, K. Wullaert, and B. Ahrens, Substitution for Non-Wellfounded Syntax with Binders, in 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024). extended arXiv version.

• K. Wullaert, R. Matthes, and B. Ahrens, Univalent Monoidal Categories, in 28th International Conference on Types for Proofs and Programs (TYPES2022).

Lecture Notes

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

Other Notes

• Bachelor Thesis Untyped Lambda Calculus and Scott’s model
• Master Thesis Two-dimensional topos theory.
• 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.