Simplicial sets inside cubical sets

zbMath1467.03007arXiv1911.09594MaRDI QIDQ5858940

Jonathan Weinberger, Thomas Streicher

Publication date: 15 April 2021

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

zbMATH Keywords

simplicial setsuniversesunivalence axiomcubical sets

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Type theory (03B38) Categories of fibrations, relations to (K)-theory, relations to type theory (18N45)

Related Items (1)

Induced model structures for higher categories

Uses Software

• cubicaltt

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The Frobenius condition, right properness, and uniform fibrations
• Categorical homotopy theory
• Cubical Type Theory: a constructive interpretation of the univalence axiom
• Higher Categories and Homotopical Algebra
• A cubical approach to straightening
• Varieties of Cubical Sets
• Simplicial homotopy theory

This page was built for publication: Simplicial sets inside cubical sets