On domain theory in constructive set theory:
On domain theory in homotopy type theory/univalent foundations (mathematics presented in HoTT):
On ordinals in 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)
Last revised on February 22, 2024 at 06:46:24. See the history of this page for a list of all contributions to it.