Page Not Found
Page not found. Your pixels are in another canvas.
Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
Page not in menu
This is a page not in th emain menu
Posts
portfolio
publications
Univalent Monoidal Categories
Published in TYPES 2022 post-proceedings, 2023
This paper proves that the bicategory of monoidal categories is univalent and that monoidal categories admit Rezk completions.
Recommended citation: https://doi.org/10.4230/LIPIcs.TYPES.2022.15
Displayed Monoidal Categories for the Semantics of Linear Logic
Published in CPP 2024: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024
We present a formalization of different categorical structures used to interpret linear logic.
Recommended citation: https://doi.org/10.1145/3636501.3636956
Substitution for Non-Wellfounded Syntax with Binders
Published in Proceedings of Formal Structures for Computation and Deduction (FSCD) 2024, 2024
We describe a generic construction of non-wellfounded syntax involving variable binding and its monadic substitution operation.
Download here
talks
Elementary topoi as categorical models of set theory
Published:
A seminar talk presented at The Antwerp Algebra Colloquium in the framework of the Master Program at the University of Antwerp.
An introduction to Initial Algebra Semantics
Published:
A seminar talk presented at the Programming Languages Seminar.
Introduction to Type Theory: Another foundation of mathematics
Published:
A seminar talk presented at The Antwerp Algebra Colloquium
Case Study on Displayed Monoidal Categories
Published:
A conference talk presented at TYPES 2022.
A Library of Monoidal Categories for Display and Univalence
Published:
A workshop talk presented (online) at the Workshop on Homotopy Type Theory/Univalent Foundations.
Rezk completions
Published:
A seminar talk at Dutch Categories And Types Seminar.
Rezk completion of bicategories
Published:
A workshop talk presented at the Workshop on Homotopy Type Theory/Univalent Foundations.
Towards a homotopy theory of univalent category theory
Published:
A seminar talk presented (online) at USD Categories and Type Theory Seminar.
An introduction to proof assistants
Published:
A seminar talk presented at DIAM PhD Forum.
A formal treatment of univalent completions
Published:
A workshop talk presented at the Workshop on Homotopy Type Theory/Univalent Foundations.
teaching
Category Theory for Programmers
Mastercourse, Technical University of Delft, Programming Languages Group, 1900
Research project
Bachelor project supervision, Technical University of Delft, Programming Languages Group, 1900
Software verification
Mastercourse, Technical University of Delft, Programming Languages Group, 1900
Software verification
Mastercourse, Technical University of Delft, Programming Languages Group, 2022