On rectification and enrichment of infinity properads

Abstract

We develop a theory of infinity properads enriched in a general symmetric monoidal infinity category. These are defined as presheaves, satisfying a Segal condition and a Rezk completeness condition, over certain categories of graphs. In particular, we introduce a new category of level graphs which also allow us to give a framework for algebras over an enriched infinity properad. We show that one can vary the category of graphs without changing the underlying theory. We also show that infinity properads cannot always be rectified, indicating that a conjecture of the second author and Robertson is unlikely to hold. This stands in stark contrast to the situation for infinity operads, and we further demarcate these situations by examining the cases of infinity dioperads and infinity output properads. In both cases, we provide a rectification theorem that says that each up-to-homotopy object is equivalent to a strict one.

arXiv comment96 pages. Minor updates to Definitions 2.2.10 and 2.2.11(1), Remark 2.2.16, and diagram on p. 30. A complete account of all changes in all versions is available at https://github.com/phck/infinity-properads

References in corpus (25)

• A Koszul duality for props
• Deformation theory of representations of prop(erad)s
• Dendroidal Sets
• Enriched $\infty$-categories via non-symmetric $\infty$-operads
• Homotopy theory for algebras over polynomial monads
• On an extension of the notion of Reedy category
• Admissibility and rectification of colored symmetric operads
• Higher string topology operations
• Infinity Properads and Infinity Wheeled Properads
• Presentably symmetric monoidal infinity-categories are represented by symmetric monoidal model categories
• Rectification of enriched infinity-categories
• Dualizing cartesian and cocartesian fibrations
• On homotopy invariance for algebras over colored PROPs
• From operator categories to topological operads
• Two models for the homotopy theory of $\infty$-operads
• Polycategories via pseudo-distributive laws
• A graphical category for higher modular operads
• Bar-cobar duality for operads in stable homotopy theory
• Homotopy theory of symmetric powers
• On string topology of classifying spaces
• Symmetric operads in abstract symmetric spectra
• Higher cyclic operads
• $\infty$-Operads as Analytic Monads
• On factorizations of graphical maps
• Dwyer-Kan Homotopy Theory of Algebras over Operadic Collections

Cited by in corpus (3)

• Labelled cospan categories and properads
• Categories of graphs for operadic structures
• Segal conditions for generalized operads