https://kobewullaert.github.io/portfolio/portfolio-1/ https://kobewullaert.github.io/portfolio/portfolio-2/ https://kobewullaert.github.io/posts/2012/08/blog-post-1/ 2012-08-14T00:00:00+00:00 https://kobewullaert.github.io/posts/2013/08/blog-post-2/ 2013-08-14T00:00:00+00:00 https://kobewullaert.github.io/posts/2014/08/blog-post-3/ 2014-08-14T00:00:00+00:00 https://kobewullaert.github.io/posts/2012/08/blog-post-4/ 2015-08-14T00:00:00+00:00 https://kobewullaert.github.io/posts/2012/08/blog-post-4/ 2199-01-01T00:00:00+00:00 https://kobewullaert.github.io/publications/univalent_monoidal_categories 2023-07-28T00:00:00+00:00 https://kobewullaert.github.io/publications/displayed_monoidal_semantics 2024-01-09T00:00:00+00:00 https://kobewullaert.github.io/publications/substitution_nonwellfounded_syntax 2024-07-05T00:00:00+00:00 https://kobewullaert.github.io/publications/scottsrepresent-thm-karoubi 2025-01-09T00:00:00+00:00 https://kobewullaert.github.io/talks/2021-05-28-talk-1/ 2021-05-28T00:00:00+00:00 https://kobewullaert.github.io/talks/2022-03-11-talk-2/ 2022-03-11T00:00:00+00:00 https://kobewullaert.github.io/talks/2022-06-08-talk/ 2022-06-08T00:00:00+00:00 https://kobewullaert.github.io/talks/2022-06-21-talk-Types22/ 2022-06-21T00:00:00+00:00 https://kobewullaert.github.io/talks/2022-08-01-talk-HoTTUF22/ 2022-08-01T00:00:00+00:00 https://kobewullaert.github.io/talks/2022-11-24-talk-DutchCats/ 2022-11-24T00:00:00+00:00 https://kobewullaert.github.io/talks/2023-22-04-talk-HoTTUF23/ 2023-04-22T00:00:00+00:00 https://kobewullaert.github.io/talks/2023-01-21-talk-coqpl23 2023-08-01T00:00:00+00:00 https://kobewullaert.github.io/talks/2023-08-05-talk-sandiegoseminar/ 2023-08-05T00:00:00+00:00 https://kobewullaert.github.io/talks/2023-11-08-talk-MathDelftSeminar/ 2023-11-08T00:00:00+00:00 https://kobewullaert.github.io/talks/2024-03-04-talk-HoTTUF24/ 2024-04-03T00:00:00+00:00 https://kobewullaert.github.io/talks/2024-06-13-talk-Types24/ 2024-06-13T00:00:00+00:00 https://kobewullaert.github.io/talks/2024-06-25-posterpresentation-CT24/ 2024-06-25T00:00:00+00:00 https://kobewullaert.github.io/talks/2025-05-02-talk-DutchCats/ 2025-05-02T00:00:00+00:00 https://kobewullaert.github.io/talks/2025-05-14-talk-PLSeminar/ 2025-05-14T00:00:00+00:00 https://kobewullaert.github.io/talks/2025-06-10-Types25/ 2025-06-10T00:00:00+00:00 https://kobewullaert.github.io/teaching/2021-2022-cats4programmers/ https://kobewullaert.github.io/teaching/2021-2022-researchproject/ https://kobewullaert.github.io/teaching/2021-2022-software-verification/ https://kobewullaert.github.io/teaching/2022-2023-software-verification/ 2022-10-24T00:00:00+00:00 https://kobewullaert.github.io/ https://kobewullaert.github.io/archive-layout-with-content/ https://kobewullaert.github.io/categories/ https://kobewullaert.github.io/collection-archive/ https://kobewullaert.github.io/cv/ https://kobewullaert.github.io/markdown/ https://kobewullaert.github.io/non-menu-page/ https://kobewullaert.github.io/notes/ https://kobewullaert.github.io/page-archive/ https://kobewullaert.github.io/portfolio/ https://kobewullaert.github.io/publications/ https://kobewullaert.github.io/publications/ https://kobewullaert.github.io/sitemap/ https://kobewullaert.github.io/tags/ https://kobewullaert.github.io/talkmap.html https://kobewullaert.github.io/talks/ https://kobewullaert.github.io/teaching/ https://kobewullaert.github.io/teaching/ https://kobewullaert.github.io/terms/ https://kobewullaert.github.io/writings/ https://kobewullaert.github.io/year-archive/ https://kobewullaert.github.io/markdown_generator/ https://kobewullaert.github.io/files/BachelorThesis_LambdaCalculus.pdf 2026-02-03T12:39:34+00:00 https://kobewullaert.github.io/files/CategoryTheory_IntroductionToposTheory.pdf 2026-02-03T12:39:34+00:00 https://kobewullaert.github.io/files/ICategoryTheoryConference2024.pdf 2026-02-03T12:39:34+00:00 https://kobewullaert.github.io/files/MasterThesis_TwoDimensionalToposTheory.pdf 2026-02-03T12:39:34+00:00 https://kobewullaert.github.io/files/MathematicalLogic_InternalLogicOfTopoi.pdf 2026-02-03T12:39:34+00:00 https://kobewullaert.github.io/files/Rezk_Completion_for_Topoi.pdf 2026-02-03T12:39:34+00:00 https://kobewullaert.github.io/files/SeminarAnalysisAndTopologie_LocalicTopoi.pdf 2026-02-03T12:39:34+00:00 https://kobewullaert.github.io/files/SeminarHomologicalAlgebra_NaturalNumbersObject.pdf 2026-02-03T12:39:34+00:00 https://kobewullaert.github.io/files/UnivalentMonoidalCategories.pdf 2026-02-03T12:39:34+00:00 https://kobewullaert.github.io/talkmap/map.html 2026-02-03T12:39:34+00:00