“Limits in indexed profunctors over 2-categories” at PSSL 107, Athens, Apr 2023 [slides]
Older writings
Basic subtoposes of the effective topos (with Jaap van Oosten), Annals of Pure and Applied Logic, 164(9), 866–883, 2013.
doi:10.1016/j.apal.2013.04.001 (free access)
Subtoposes of the Effecitve Topos, Master’s Thesis, Utrecht University, 2011.
arXiv:1112.5325
Set Systems of Finite Character and Equivalents of Boolean Prime Ideal Theorem,
Undergraduate Thesis, Utrecht University, 2008. pdf
