nLab Tom de Jong

• webpage

Selected writings and talks

On domain theory in constructive set theory:

• Tom de Jong, Sharp Elements and Apartness in Domains, in: Proceedings MFPS 2021, EPTCS 351, 2021, pp. 134-151 (doi:10.4204/EPTCS.351.9, arXiv:2112.14052)

On domain theory in homotopy type theory/univalent foundations (mathematics presented in HoTT):

• Tom de Jong, Martín Hötzel Escardó, Domain Theory in Constructive and Predicative Univalent Foundations, in: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, LIPIcs proceedings 183, 2021 (doi:10.4230/LIPIcs.CSL.2021.28, arXiv:2008.01422)

On ordinals in dependent type theory and marked extensional well-founded orders:

• Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu, Set-Theoretic and Type-Theoretic Ordinals Coincide [arXiv:2301.10696]

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:

• Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu, Ordinal Exponentiation in Homotopy Type Theory (arXiv:2501.14542)

On the fat Delta category:

• Tom de Jong, Nicolai Kraus, Simona Paoli, Stiéphen Pradal, A study of Kock’s fat Delta (arXiv:2503.10963)

category: people