# On rectification and enrichment of infinity properads

@article{Chu2020OnRA,
title={On rectification and enrichment of infinity properads},
author={Hongyi Chu and Philip Hackney},
journal={Journal of the London Mathematical Society},
year={2020},
volume={105}
}
• Published 1 July 2020
• Mathematics
• 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…
6 Citations

### 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

• Mathematics
• 2022
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

• Mathematics
• 2022
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,

. 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

## References

SHOWING 1-10 OF 98 REFERENCES

### 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

• Mathematics, Engineering
• 2015

### Homotopy theory for algebras over polynomial monads

• Mathematics
• 2013
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

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

### $$\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$$ ∞