Varieties of Cubical Sets

DOI10.1007/978-3-319-57418-9_5zbMath1486.18011arXiv1701.08189OpenAlexW2584882036MaRDI QIDQ5283204

Edward Morehouse, Ulrik Buchholtz

Publication date: 21 July 2017

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Abstract and axiomatic homotopy theory in algebraic topology (55U35) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items (12)

Cubical methods in homotopy type theory and univalent foundations ⋮ Simplicial sets inside cubical sets ⋮ Cubical models of higher categories without connections ⋮ Unnamed Item ⋮ Higher Structures in Homotopy Type Theory ⋮ Equivalence of cubical and simplicial approaches to \((\infty, n)\)-categories ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A cubical model of homotopy type theory ⋮ Cartesian cubical computational type theory: Constructive reasoning with paths and equalities ⋮ Induced model structures for higher categories ⋮ Syntax and models of Cartesian cubical type theory

Uses Software

• cubicaltt

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The cubical category with connections is a strict test category
• Normal forms and truth tables for fuzzy logics
• Higher algebraic K-theory: I
• Cubical Type Theory: a constructive interpretation of the univalence axiom
• Computational higher-dimensional type theory

This page was built for publication: Varieties of Cubical Sets