Pages that link to "Item:Q3121012"
From MaRDI portal
The following pages link to A formal language for cyclic operads (Q3121012):
Displayed 5 items.
- Proofs and surfaces (Q2195640) (← links)
- Categorified cyclic operads (Q2303776) (← links)
- Monoid-like definitions of cyclic operads (Q2981744) (← links)
- Dwyer–Kan homotopy theory for cyclic operads (Q4993989) (← links)
- A practical type theory for symmetric monoidal categories (Q5006460) (← links)