- 1 Categorification | Coherence | Cyclic operads
- 1 Categorification | Coherence | Operads | Polytopes
- 1 Ceva-Menelaus proof | Connected sum | Cyclic operad | Incidence theorem | Sequent system | Simplicial homology
- 1 Cooperative game | Hypergraph | Minimal model | Operad | Operadic category | Polyhedral realization
- 1 Cyclic operads | Microcosm principle | Monoid | Operads | Species of structures
- 1 operad | cyclic operad | unrooted trees | syntax | rewriting system | formalisation
Results 1-7 of 7 (Search time: 0.002 seconds).