activity
20202024
most citedThe Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing 2020 · math.LOShow all

1 paper · 2 filters

math.LO2020

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 Homoto…