Pages that link to "Item:Q846036"
From MaRDI portal
The following pages link to The cubical category with connections is a strict test category (Q846036):
Displaying 20 items.
- Symmetric cubical sets (Q531321) (← links)
- Joyal's category \(\varTheta\) is a test category (Q626737) (← links)
- Modelling and computing homotopy types: I (Q1688970) (← links)
- Geometric realisations of cubical sets with connections, and classifying spaces of categories (Q1866042) (← links)
- Homology groups of cubical sets with connections (Q2044555) (← links)
- Variations on a theme of homotopy (Q2448536) (← links)
- Cubical $(\omega,p)$-categories (Q3121024) (← links)
- (Q4680356) (← links)
- Cubical model categories and quasi-categories (Q5112053) (← links)
- The dendroidal category is a test category (Q5225813) (← links)
- A motivic version of the theorem of Fontaine and Wintenberger (Q5227651) (← links)
- Varieties of Cubical Sets (Q5283204) (← links)
- Induced model structures for higher categories (Q5869779) (← links)
- Cubical models of higher categories without connections (Q6038531) (← links)
- The Hurewicz theorem for cubical homology (Q6090622) (← links)
- Homotopy groups of cubical sets (Q6149199) (← links)
- The uniform homotopy category (Q6174700) (← links)
- Cubical models of \((\infty, 1)\)-categories (Q6605390) (← links)
- Rigidification of cubical quasicategories (Q6614590) (← links)
- Single-set cubical categories and their formalisation with a proof assistant (Q6653090) (← links)
