nLab Elisabeth Stenholm

Elisabeth Stenholm

• personal page

• github page

• github (old)

Selected writings

• Håkon Robbestad Gylterud, Elisabeth Stenholm, Univalent material set theory (arXiv:2312.13024)

• Daniel Gratzer, Håkon Gylterud, Anders Mörtberg, Elisabeth Stenholm, The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations, [arXiv:2402.04893]

On non-wellfounded sets in homotopy type theory:

• Håkon Robbestad Gylterud, Elisabeth Stenholm, Niccolò Veltri, Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory [arXiv:2001.06696]

Selected talks

• Elisabeth Stenholm, Non-wellfounded sets in HoTT [talk video:YT]

category: people