Pages that link to "Item:Q2463395"
From MaRDI portal
The following pages link to An \(\omega\)-category with all duals is an \(\omega\)-groupoid (Q2463395):
Displaying 6 items.
- The groupoidal analogue \(\widetilde{{\Theta}}\) to Joyal's category \(\Theta\) is a test category (Q1928247) (← links)
- Homotopy type theory and Voevodsky’s univalent foundations (Q2933829) (← links)
- Hom weak ω-categories of a weak ω-category (Q5058363) (← links)
- Type Theory and Homotopy (Q5253928) (← links)
- What is an equivalence in a higher category? (Q6188124) (← links)
- An inductive model structure for strict \(\infty\)-categories (Q6671779) (← links)
