3 papers
cs.PL2026
Category Theory for Programming
Benedikt Ahrens, Kobe Wullaert
In these lecture notes, we give a brief introduction to some elements of category theory. The choice of topics is guided by applications to functional programming. Firstly, we stud…
cs.LO2026
The Rezk Completion for Elementary Topoi
Kobe Wullaert, Niels van der Weide
The development of category theory in univalent foundations and the formalization thereof is an active field of research. Categories in that setting are often assumed to be univale…
cs.LO2025
Scott's Representation Theorem and the Univalent Karoubi Envelope
Arnoud van der Leer, Kobe Wullaert, Benedikt Ahrens
Lambek and Scott constructed a correspondence between simply-typed lambda calculi and Cartesian closed categories. Scott's Representation Theorem is a cousin to this result for unt…