The purpose of this post is to record the definition of ∞-operads and explain why it works like that. For this I’m using Lurie’s definition of ∞-operads; there is also a definition by Cisinski–Moerdijk–Weiss using dendroidal sets, about which I might talk later.
Indeed, the definition on an ∞-operad is a bit mysterious taken “as-is” – see [HA, §126.96.36.199]. My goal is to explain how to reach this definition, mostly for my own sake. Most of what follows is taken either from the book Higher Algebra, the Lab, or the semester-long workshop about hgiher category theory in Lille in 2015.
The first thing to explain would be Cartesian (and coCartesian) morphisms. They are generalizations of Grothendieck fibrations from ordinary category theory. The basic idea of a Grothendieck fibration is that the fibers depend contravariantly on , i.e. given a morphism , there exists a lift (a functor) . The definition of a Grothendieck fibration is exactly what’s needed for all this to work correctly.
Following the Lab, a morphism is said to be **-Cartesian lift . Then . The unique factorizations in the definition of a fibration makes this into a functor , and this becomes a (pseudo)functor .
The study of ∞-operads obviously involves higher category theory, and in Lurie’s setting higher categories are quasi-categories (I think some people call them quategories). There are plenty of explanations of quasi-categories online, so I will just record the bare definitions here.
A quasi-category is a simplicial set such that all inner horns can be filled, i.e. every morphism can be extended to for (compare with Kan complexes, where outer horns can be filled too).
The set is to be understood as the set of objects of the quasi-categories; the set is to be understood as the set of morphisms. Faces give the target and the source of a morphism, and the degeneracy gives the identity of an object. The set gives information about composition: a composable pair of arrows is the same thing as a morphism , which extends to ; then is “a composite” of the pair of composable morphisms. Higher give coherence conditions for composition, and everything works out (the space of possible compositions for a pair of composable morphisms is contractible, is homotopic to the identity and so on).
The nerve of a plain category is an example of a quasi-category.
The definition of a Cartesian morphism essentially mimics the definition of a Grothendieck fibration, except that the categories are replaced with quasi-categories. I won’t dwell too much on this (see the Lab article), since as far as I can tell there’s no hidden surprise here, the most difficult thing being to determine how to translate the axioms in terms of quasi-categories. Let’s just note that a morphism is said to be a coCartesian morphism (AKA opfibration) if is Cartesian. This means that the fibers depends covariantly instead of contravariantly on . I am not 100% sure why a different name is used for plain categories and for quasi-categories; maybe it’s just a historical artefact?
Symmetric monoidal ∞-categories
Rather than plain operads, ∞-operads are a generalization of colored operads, AKA multicategories. As such, they have multiple objects, and behave more like a ∞-category where morphisms can have multiple inputs instead of just one. Let’s first define symmetric monoidal ∞-categories, where a morphism can be thought of as a morphism with multiple inputs. (This section is taken straight from the introduction of Chapter 2 of Higher Algebra and adapted to my notations).
Given a symmetric monoidal category , one can construct its category of operators . This is a category over , the category of finite pointed sets with objects .
The objects of are finite sequences of objects of . The morphisms consist of:
- a morphism in ;
- morphisms for .
Then is , and the image of a morphism by is the “” part. Consistenly with the previous notation for fibers, let . Note that is the category of operators of the terminal category (equipped with its unique symmetric monoidal structure).
Then satisfies the two fundamental properties:
- (M1) is a coCartesian morphism (opfibration).
If we unroll the definition, this means that for every and for every , there is some morphism that covers and such that for all morphism and every factorization of through , there is a factorization of through inducing it. Indeed, we can choose to be and see that everything works. Recall that this means the fibers depend covariantly on .
- (M2) The fiber is isomorphic to via the product of the functors induced by given by and .
Indeed, a morphism in which covers the identity of is uniquely determined by morphism ; one just has to see that this morphism is given by .
Conversely, if is a functor that satisfies (M1) and (M2), let . Then becomes a symmetric monoidal category.
- The fold map () induces, by (M1) and (M2), a functor (well defined up to equivalence) .
- By (M2), is the terminal category, and the unique morphism induces , which gives the unit object of .
- Since is “symmetric” (meaning ), “unital” (meaning ) and “associative”, then so are the corresponding functors, always up to isomorphism.
So axioms (M1) and (M2) capture exactly what it means to be a symmetric monoidal category. There are many possible equivalent definitions of monoidal categories, but Lurie’s insight was to find one that could be adapted to quasi-categories. Indeed, he defines:
Definition. [HA, 188.8.131.52] A symmetric monoidal ∞-category is a coCartesian fibration such that the maps induce an equivalence .
In this definition, should be thought of as the ∞-category of operators, and the underlying ∞-category is really . The monoidal product and the unit are induced as above.
Following the same pattern, Lurie defines the category of operators of a colored operad. This satisfies a bunch of axioms, which allow one to recover the colored operad from the category of operators. The axioms are also laid out in such a way that generalizing them to ∞-categories is possible, thus giving the definition of ∞-operads.
Let be a colored operad. Its category of operators is given by:
- objects are sequences of colors ;
- morphisms are given by a morphism , and for all , an element in .
Like before, there’s a functor given by . This is a Grothendieck opfibration, which allows us the recover from .
Let . In particular, is the category of unary operations in (also called “underlying category” of ). The colors of are given by the objects of . As before, is an isomorphism. The operations of type are recovered as the morphisms which cover , .
Two types of morphisms appear in the previous discussion, which lead to the following definition: a morphism in is
- inert if the preimage of every has exactly one element. Such a morphism induces an injection . Basically, it’s a morphism that “forgets” a bunch of points; think “”.
- active if . For any , there is a unique active morphism ; this is the morphism that allows us to recover the -ary operations of .
Definition. [HA, 184.108.40.206] An ∞-operad (really, the category of operators of an ∞-operad) is a functor of quasi-categories such that:
- For every inert morphism and every , there is a -coCartesian morphism lifting , which induces a functor . Recall that the inert morphisms are those who “forget” points. The functor is the functor which, given an -uple, forgets some of the factors. The object is a sequence of colors, and is the same sequence with some colors forgotten.
- For , let be the connected components lying over . Then
is a homotopy equivalence. This means that an “operation” is “the same” as a collection of operations . 3. For every collection of objects , there exists an object and -Cartesian morphisms covering . This means that is an equivalence.
From this data, the quategory of unary operations of the ∞-operad is given by . The colors of the ∞-operad are the object of this quategory. Finally, the operations of type are the morphisms lying over the unique active morphism , where is “the” object of corresponding to under the equivalence of (3).
And voilà! An ∞-operad. I’m not as scared of the definition as I was when I first saw it, and I hope you aren’t anymore either.