The following pages link to Varieties of Cubical Sets (Q5283204):
Displaying 14 items.
- A cubical model of homotopy type theory (Q1799035) (← links)
- Homology groups of cubical sets with connections (Q2044555) (← links)
- Hilbert cubes meet arithmetic sets (Q2197517) (← links)
- Equivalence of cubical and simplicial approaches to \((\infty, n)\)-categories (Q2687342) (← links)
- Internal universes in models of homotopy type theory (Q4993352) (← links)
- Syntax and models of Cartesian cubical type theory (Q5022926) (← links)
- Cubical methods in homotopy type theory and univalent foundations (Q5055493) (← links)
- Cartesian cubical computational type theory: Constructive reasoning with paths and equalities (Q5079726) (← links)
- (Q5091148) (← links)
- Simplicial sets inside cubical sets (Q5858940) (← links)
- Induced model structures for higher categories (Q5869779) (← links)
- Cubical models of higher categories without connections (Q6038531) (← links)
- (Q6079232) (← links)
- Kripke-Joyal forcing for type theory and uniform fibrations (Q6586829) (← links)