Rezk Completions For (Elementary) Topoi
Talk, 31th International Conference on Types for Proofs and Programs, Glaslow, Scotland
A workshop talk presented at the 31th International Conference on Types for Proofs and Programs.
Talks and presentations
From Realizability To Univalent Completions
Talk, Delft University of Technology, Programming Languages Seminar, Delft, Netherlands
A seminar talk presented at the Programming Languages Seminar.
Rezk completion for topoi
Talk, Dutch Categories and Types Seminar, Utrecht, Netherlands
A seminar talk at Dutch Categories And Types Seminar.
Formal Theory of Rezk completions
Talk, Workshop on Homotopy Type Theory/Univalent Foundations, Santiago De Compostela, Spain
A poster presentation given at the International Category Theory Conference. The poster can be found here.
A formal study of the Rezk completion
Talk, 30th International Conference on Types for Proofs and Programs, Copenhagen, Denmark
A workshop talk presented at the 30th International Conference on Types for Proofs and Programs.
A formal treatment of univalent completions
Talk, Workshop on Homotopy Type Theory/Univalent Foundations, Leuven, Belgium
A workshop talk presented at the Workshop on Homotopy Type Theory/Univalent Foundations.
An introduction to proof assistants
Talk, Delft University of Technology, PhD seminar of Delft Institute of Applied Mathematics, Delft, Netherlands
A seminar talk presented at DIAM PhD Forum.
Towards a homotopy theory of univalent category theory
Talk, University of San Diego, Categories and Type Theory Seminar, San Diego, United States
A seminar talk presented (online) at USD Categories and Type Theory Seminar.
Formalizing Monoidal Categories and Actions for Syntax with Binders
Talk, The Ninth International Workshop on Coq for Programming Languages, Boston, Massachusetts, United States
A workshop talk presented (online) at the The Ninth International Workshop on Coq for Programming Languages.
Rezk completion of bicategories
Talk, Workshop on Homotopy Type Theory/Univalent Foundations, Vienna, Austria
A workshop talk presented at the Workshop on Homotopy Type Theory/Univalent Foundations.
Rezk completions
Talk, Dutch Categories and Types Seminar, Delft, Netherlands
A seminar talk at Dutch Categories And Types Seminar.
A Library of Monoidal Categories for Display and Univalence
Talk, Workshop on Homotopy Type Theory/Univalent Foundations, Haifi, Israel
A workshop talk presented (online) at the Workshop on Homotopy Type Theory/Univalent Foundations.
Case Study on Displayed Monoidal Categories
Talk, TYPES22, Nantes, France
A conference talk presented at TYPES 2022.
An introduction to Initial Algebra Semantics
Talk, Delft University of Technology, Programming Languages Seminar, Delft, Netherlands
A seminar talk presented at the Programming Languages Seminar.
Introduction to Type Theory: Another foundation of mathematics
Talk, University of Antwerp, Antwerp Algebra Colloquium, Antwerp, Belgium
A seminar talk presented at The Antwerp Algebra Colloquium
Elementary topoi as categorical models of set theory
Talk, University of Antwerp, Antwerp Algebra Colloquium, Antwerp, Belgium
A seminar talk presented at The Antwerp Algebra Colloquium in the framework of the Master Program at the University of Antwerp.