Sets in homotopy type theory

DOI10.1017/S0960129514000553zbMath1362.03007arXiv1305.3835MaRDI QIDQ5740655

Egbert Rijke, Bas Spitters

Publication date: 27 July 2016

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Related Items (7)

Modalities in homotopy type theory ⋮ The construction of set-truncated higher inductive types ⋮ Synthetic topology in Homotopy Type Theory for probabilistic programming ⋮ The compatibility of the minimalist foundation with homotopy type theory ⋮ On Small Types in Univalent Foundations ⋮ W-types in setoids ⋮ The structuralist mathematical style: Bourbaki as a case study

Cites Work

• Categorical logic and type theory
• Propositions as [Types]
• Higher Topos Theory (AM-170)
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Sets in homotopy type theory