The following pages link to Cubical groups which are Kan (Q1194302):
Displaying 10 items.
- 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)
- Cubical $(\omega,p)$-categories (Q3121024) (← links)
- A motivic version of the theorem of Fontaine and Wintenberger (Q5227651) (← links)
- Cubical models of higher categories without connections (Q6038531) (← links)
- The Hurewicz theorem for cubical homology (Q6090622) (← links)
- The uniform homotopy category (Q6174700) (← links)
- Single-set cubical categories and their formalisation with a proof assistant (Q6653090) (← links)
- Examples and cofibrant generation of effective Kan fibrations (Q6671729) (← links)
