On domain theory in constructive set theory:
On domain theory in homotopy type theory/univalent foundations (mathematics presented in HoTT):
On ordinals in dependent type theory and marked extensional well-founded orders:
On epimorphisms in homotopy type theory:
Tom de Jong, Acyclic types and epimorphisms in HoTT, Homotopy Type Theory Electronic Seminar Talks, 17 November 2022 (slides, video)
Ulrik Buchholtz, Tom de Jong, Egbert Rijke, Epimorphisms and Acyclic Types in Univalent Mathematics, (arXiv:2401.14106)
On ordinal exponentiation in dependent type theory, see:
On the fat Delta category:
Last revised on April 20, 2026 at 08:46:44. See the history of this page for a list of all contributions to it.