Univalent material set theory

DOI10.1016/J.APAL.2025.103662MaRDI QIDQ6893214zbMATH OpenFDO

Authors Håkon Robbestad Gylterud, Elisabeth Stenholm

Publication date 26 November 2025

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.APAL.2025.103662

zbMATH Keywords

constructive set theoryhomotopy type theorymaterial set theorytype theory

Mathematics Subject Classification ID

Type theory (03B38) Logic in computer science (03B70) Other constructive mathematics (03F65)

Cites work

• Categorical set theory: A characterization of the category of sets
• Constructive set theory
• From multisets to sets in homotopy type theory
• Homotopy type theory. Univalent foundations of mathematics
• scientific article; zbMATH DE number 5910780 (Why is no real title available?)
• scientific article; zbMATH DE number 3146056 (Why is no real title available?)
• scientific article; zbMATH DE number 3754682 (Why is no real title available?)
• scientific article; zbMATH DE number 813127 (Why is no real title available?)
• Multisets in type theory
• Partial univalence in n-truncated type theory
• The category of iterative sets in homotopy type theory and univalent foundations

Cited in

(1)

• Terminal coalgebras and non-wellfounded sets in homotopy type theory

This page was built for publication: Univalent material set theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6893214)