The following pages link to Why tricategories? (Q1898465):
Displayed 8 items.
- Unicity of enrichment over \(\mathcal Cat\) or \(\mathcal Gpd\) (Q633802) (← links)
- Discrete Lawvere theories and computational effects (Q860883) (← links)
- Premonoidal categories as categories with algebraic structure (Q1605185) (← links)
- Relaxed models for rewriting logic (Q1853590) (← links)
- Higher dimensional categories: induction on extensivity (Q2134826) (← links)
- Combining effects: sum and tensor (Q2500483) (← links)
- An Australian Conspectus of Higher Categories (Q3400014) (← links)
- Gabriel–Ulmer duality and Lawvere theories enriched over a general base (Q3638917) (← links)