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 5 items.
- A direct proof that the category of 3-computads is not Cartesian closed (Q2837317) (← links)
- 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)