• Corpus ID: 117983730

A simplicial model for infinity properads

@article{Hackney2015ASM,
  title={A simplicial model for infinity properads},
  author={Philip Hackney and Marcy Robertson and Donald Yau},
  journal={arXiv: Algebraic Topology},
  year={2015}
}
We show how the model structure on the category of simplicially-enriched (colored) props induces a model structure on the category of simplicially-enriched (colored) properads. A similar result holds for dioperads. 
The homotopy theory of simplicial props
The category of (colored) props is an enhancement of the category of colored operads, and thus of the category of small categories. In this paper, the second in a series on ‘higher props,’ we show
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
On factorizations of graphical maps
We study the categories governing infinity (wheeled) properads. The graphical category, which was already known to be generalized Reedy, is in fact an Eilenberg-Zilber category. A minor alteration to
Dwyer–Kan homotopy theory for cyclic operads
Abstract We introduce a general definition for coloured cyclic operads over a symmetric monoidal ground category, which has several appealing features. The forgetful functor from coloured cyclic
On rectification and enrichment of infinity properads
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,
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
Infinity Operads and Monoidal Categories with Group Equivariance
This monograph provides a coherent development of operads, infinity operads, and monoidal categories, equipped with equivariant structures encoded by an action operad. A group operad is a planar
Lecture Notes on Infinity-Properads
These are notes for three lectures on higher properads given at a program at the mathematical institute MATRIX in Australia in June 2016. The first lecture covers the case of operads, and provides a

References

SHOWING 1-10 OF 29 REFERENCES
A model category structure on the category of simplicial categories
In this paper we put a cofibrantly generated model category struc- ture on the category of small simplicial categories. The weak equivalences are a simplicial analogue of the notion of equivalence of
The homotopy theory of simplicial props
The category of (colored) props is an enhancement of the category of colored operads, and thus of the category of small categories. In this paper, the second in a series on ‘higher props,’ we show
On homotopy invariance for algebras over colored PROPs
Over a monoidal model category, under some mild assumptions, we equip the categories of colored PROPs and their algebras with projective model category structures. A Boardman-Vogt style homotopy
Quasi-categories and Kan complexes
Higher Topos Theory
This purpose of this book is twofold: to provide a general introduction to higher category theory (using the formalism of "quasicategories" or "weak Kan complexes"), and to apply this theory to 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.-
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
Dendroidal sets as models for homotopy operads
The homotopy theory of ∞‐operads is defined by extending Joyal's homotopy theory of ∞‐categories to the category of dendroidal sets. We prove that the category of dendroidal sets is endowed with a
Dendroidal Segal spaces and ∞‐operads
We introduce the dendroidal analogues of the notions of complete Segal space and of Segal category, and construct two appropriate model categories for which each of these notions corresponds to the
...
...