Recent writings
- Identity types in predicate logic (extended abstract). 2024. pdf
- Strict bilimit and its proper examples. 2023. post
- Indexed profunctors over 2-categories. 2023. arXiv:2302.06515
Blog
Recent talks
- “Strict bilimits, with an overview of limit notions in 2-categories” at
- “Identity types in predicate logic” at
- “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
