Pages that link to "Item:Q5151298"
From MaRDI portal
The following pages link to A cubical approach to straightening (Q5151298):
Displaying 12 items.
- Cubical approach to derived functors (Q424854) (← links)
- Analysis of straightening formula (Q1118591) (← links)
- A co-reflection of cubical sets into simplicial sets with applications to model structures (Q2329069) (← links)
- Equivalence of cubical and simplicial approaches to \((\infty, n)\)-categories (Q2687342) (← links)
- (Q3715886) (← links)
- Canonicity and homotopy canonicity for cubical type theory (Q5028486) (← links)
- (Q5089011) (← links)
- Cubical model categories and quasi-categories (Q5112053) (← links)
- Simplicial sets inside cubical sets (Q5858940) (← links)
- Induced model structures for higher categories (Q5869779) (← links)
- Homotopy groups of cubical sets (Q6149199) (← links)
- Cubical models of \((\infty, 1)\)-categories (Q6605390) (← links)