2 papers
math.CT2026
A study of Kock's fat Delta
Tom de Jong, Nicolai Kraus, Simona Paoli +1
Motivated by the study of weak identity structures in higher category theory we explore the fat Delta category, a modification of the simplex category introduced by J. Kock and pro…
cs.LO2025
Continuous and algebraic domains in univalent foundations
Tom de Jong, MartÃn Hötzel Escardó
We develop the theory of continuous and algebraic domains in constructive and predicative univalent foundations, building upon our earlier work on basic domain theory in this setti…