Showing cs.LOShow all
2 papers · 1 filter
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…
cs.LO2024
Epimorphisms and Acyclic Types in Univalent Foundations
Ulrik Buchholtz, Tom de Jong, Egbert Rijke
We characterize the epimorphisms in homotopy type theory (HoTT) as the fiberwise acyclic maps and develop a type-theoretic treatment of acyclic maps and types in the context of syn…