nLab
family of (infinity,1)-operads
Contents
Contents
Definition
For the following we model (∞,1)-operads specifically by their (∞,1)-categories of operators and these specifically as quasi-categories.
Let be an (∞,1)-category. A -family of (∞,1)-operads, is a fibration in the model structure for quasi-categories
such that
- For any object, for over , and for any inert morphism, then there exists a -coCartesian morphism in .
(Lurie, 2.3.2.10)
Properties
Relation to generalized -operads
For an (∞,1)-category, a fibration in the model structure for quasi-categories is a -family of -operads precisely if it is a fibration of generalized (∞,1)-operads such that the underlying map is an acyclic Kan fibration.
References
Created on February 11, 2013 at 19:06:37.
See the history of this page for a list of all contributions to it.