Showing math.LOShow all
2 papers · 1 filter
math.LO2026
Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
Hakon Robbestad Gylterud, Elisabeth Stenholm, Niccolò Veltri
Non-well-founded material sets have been modelled in Martin-Löf type theory by Lindström using setoids. In this paper we construct models of non-wellfounded material sets in Homo…
math.LO2024
Univalent Material Set Theory
HÃ¥kon Robbestad Gylterud, Elisabeth Stenholm
Homotopy type theory (HoTT) can be seen as a generalisation of structural set theory, in the sense that 0-types represent structural sets within the more general notion of types. F…