A graphical category for higher modular operads
Abstract
We present a homotopy theory for a weak version of modular operads whose compositions and contractions are only defined up to homotopy. This homotopy theory takes the form of a Quillen model structure on the collection of simplicial presheaves for a certain category of undirected graphs. This new category of undirected graphs, denoted $\mathbf{U}$, plays a similar role for modular operads that the dendroidal category $\Omega$ plays for operads. We carefully study properties of $\mathbf{U}$, including the existence of certain factorization systems. Related structures, such as cyclic operads and stable modular operads, can be similarly treated using categories derived from $\mathbf{U}$.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2019
- DOI:
- 10.48550/arXiv.1906.01143
- arXiv:
- arXiv:1906.01143
- Bibcode:
- 2019arXiv190601143H
- Keywords:
-
- Mathematics - Algebraic Topology;
- Mathematics - Category Theory
- E-Print:
- Minor expository changes throughout, including a new section on "Further directions", Remark 4.3, Example 5.4, Figures 2 and 4