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…