Pages that link to "Item:Q942212"
From MaRDI portal
The following pages link to The category of 3-computads is not cartesian closed (Q942212):
Displaying 4 items.
- Weak units, universal cells, and coherence via universality for bicategories (Q5239844) (← links)
- Non-unital polygraphs form a presheaf category (Q5382906) (← links)
- Computads for weak \(\omega \)-categories as an inductive type (Q6562849) (← links)
- String diagrams for 4-categories and fibrations of mapping 4-groupoids (Q6634614) (← links)
