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