The following pages link to (Q3594563):
Displaying 9 items.
- Intercategories: a framework for three-dimensional category theory (Q502617) (← links)
- A Thomason model structure on the category of small \(n\)-fold categories (Q600804) (← links)
- Model structures on the category of small double categories (Q1007175) (← links)
- Iterated spans and classical topological field theories (Q1668468) (← links)
- Cohomological twisting of 2-linearization and extended TQFT (Q2349385) (← links)
- Cubical $(\omega,p)$-categories (Q3121024) (← links)
- (Q4680356) (← links)
- Calculations for plus constructions (Q6607607) (← links)
- Single-set cubical categories and their formalisation with a proof assistant (Q6653090) (← links)
