On rectification and enrichment of infinity properads

  title={On rectification and enrichment of infinity properads},
  author={Hongyi Chu and Philip Hackney},
  journal={Journal of the London Mathematical Society},
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… 

A homotopical description of Deligne-Mumford compactifications

We give a description of the Deligne-Mumford properad expressing it as the result of homotopically trivializing S1 families of annuli (with appropriate compatibility conditions) in the properad of

N ov 2 02 2 The equifibered approach to ∞-properads

We define a notion of ∞-properads that generalises ∞-operads by allowing operations with multiple outputs. Specializing to the case where each operation has a single output provides a simple new

Segal conditions for generalized operads

. This note is an introduction to several generalizations of the dendroidal sets of Moerdijk–Weiss. Dendroidal sets are presheaves on a category of rooted trees, and here we consider indexing

Labelled cospan categories and properads

We prove Steinebrunner’s conjecture on the biequivalence between (colored) properads and labelled cospan categories. The main part of the work is to establish a 1-categorical, strict version of the

Categories of graphs for operadic structures

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,

Moment categories and operads

. A moment category is endowed with a distinguished set of split idempotents, called moments, which can be transported along morphisms. Equivalently, a moment category is a category with an



From operator categories to higher operads

In this paper we introduce the notion of an operator category and two different models for homotopy theory of $\infty$-operads over an operator category -- one of which extends Lurie's theory of

A Koszul duality for props

The notion of prop models the operations with multiple inputs and multiple outputs, acting on some algebraic structures like the bialgebras or the Lie bialgebras. In this paper, we generalize the

Infinity Properads and Infinity Wheeled Properads

Introduction.- Graphs.- Properads.- Symmetric Monoidal Closed Structure on Properads.- Graphical Properads.- Properadic Graphical Category.- Properadic Graphical Sets and Infinity Properads.-

Simplicial localizations of categories

Homotopy theory for algebras over polynomial monads

We study the existence and left properness of transferred model structures for "monoid-like" objects in monoidal model categories. These include genuine monoids, but also all kinds of operads as for

Types for quantum computing

Higher level tools for quantum mechanics will be better suited to computation than those presently employed in the field, and this work connects quantum mechanics to mainstream areas of computer science such as categorical logic, type theory, program language semantics, and rewriting.

A model for the homotopy theory of homotopy theory

We describe a category, the objects of which may be viewed as models for homotopy theories. We show that for such models, “functors between two homotopy theories form a homotopy theory”, or more

Deformation theory of representations of prop(erad)s II

Abstract This paper is the follow-up of [Merkulov and Vallette, J. reine angew. Math. 634: 51–106, 2009].

Enriched ∞-operads

$$\infty $$-Operads via symmetric sequences

We construct a generalization of the Day convolution tensor product of presheaves that works for certain double $$\infty $$ ∞ -categories. Using this construction, we obtain an $$\infty $$ ∞