Categories of graphs for operadic structures
arXiv:2109.06231 · doi:10.1017/S0305004123000452
Abstract
We recall several categories of graphs which are useful for describing homotopy-coherent versions of generalized operads (e.g. cyclic operads, modular operads, properads, and so on), and give new, uniform definitions for their morphisms. This allows for straightforward comparisons, and we use this to show that certain free-forgetful adjunctions between categories of generalized operads can be realized at the level of presheaves. This includes adjunctions between operads and cyclic operads, between dioperads and augmented cyclic operads, and betweeen wheeled properads and modular operads.
arXiv comment57 pages. Updates and corrections based on advice from referees. Some numbering has changed. Remark 6.25 is new
References in corpus (27)
- A Koszul duality for props
- Dendroidal Sets
- Enriched -categories via non-symmetric -operads
- Dendroidal sets and simplicial operads
- A cartesian presentation of weak n-categories
- Dendroidal sets as models for homotopy operads
- Homotopy theory for algebras over polynomial monads
- Wheeled PROPs, graph complexes and the master equation
- Infinity Properads and Infinity Wheeled Properads
- From operator categories to topological operads
- Higher quasi-categories vs higher Rezk spaces
- Two models for the homotopy theory of -operads
- Polycategories via pseudo-distributive laws
- A graphical category for higher modular operads
- Dwyer--Kan homotopy theory for cyclic operads
- Koszul duality for operadic categories
- Modular operads and the nerve theorem
- Higher cyclic operads
- A criterion for existence of right-induced model structures
- 2-Segal spaces as invertible infinity-operads
- On factorizations of graphical maps
- Graphical combinatorics and a distributive law for modular operads
- Operadic categories as a natural environment for Koszul duality
- On rectification and enrichment of infinity properads
- Labelled cospan categories and properads
- Shrinkability, relative left properness, and derived base change
- Brauer diagrams, modular operads, and a graphical nerve theorem for circuit algebras