FROM MULTISETS TO SETS IN HOMOTOPY TYPE THEORY

DOI10.1017/JSL.2017.84zbMath1461.03013arXiv1612.05468OpenAlexW2963451364MaRDI QIDQ4692084

Håkon Robbestad Gylterud

Publication date: 26 October 2018

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1612.05468

zbMATH Keywords

type theoryconstructive set theoryhomotopy type theorymultisetsW-typeshigher inductive types

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Foundations, relations to logic and deductive systems (18A15) Type theory (03B38)

Related Items (1)

Homotopy type-theoretic interpretations of constructive set theories

Cites Work

• Unnamed Item
• Homotopy Type Theory: Univalent Foundations of Mathematics
• The generalised type-theoretic interpretation of constructive set theory

This page was built for publication: FROM MULTISETS TO SETS IN HOMOTOPY TYPE THEORY