20
$\begingroup$

This question arose from reading Jacob Lurie's "Classification of topological field theories" paper. In that paper, he uses complete $n$-fold Segal spaces as a model for $(\infty,n)$-categories, but he "glosses over" the question what a symmetric monoidal $(\infty,n)$-category is (a notion that is central for the whole theory). So here is the question:

What structure on an $n$-fold complete Segal space does turn it into a symmetric monoidal $(\infty,n)$-category, and where can I read about it?

$\endgroup$
2
  • 8
    $\begingroup$ One correct answer should be: an n-fold complete Segal space with an action of an E-infinity operad. (And by E-infinity operad, I mean the conventional notion of an E-infinity operad in spaces (or simplicial sets)). I don't know where you can read about this, and this may not be the formulation Jacob has in mind here. $\endgroup$ Commented Nov 20, 2011 at 16:47
  • $\begingroup$ A more formal version of Jacob Lurie's answer below is here, written by Urs Schreiber. $\endgroup$
    – user62675
    Commented Feb 2, 2015 at 1:41

2 Answers 2

33
$\begingroup$

There are many (equivalent) definitions for the notion of symmetric monoidal $(\infty,n)$-category. One approach is based on the observation that a monoidal category can be identified with a bicategory having only a single object. You can define a monoidal $(\infty,n)$-category to be an $(\infty,n+1)$-category with a specified object, such that all other objects are isomorphic to it (in the complete Segal space model, this means that the space of objects should be connected). Similarly you can define a braided monoidal $(\infty,n)$-category to be an $(\infty,n+2)$-category equipped with a distinguished object satisfying a simple connectivity condition, and so on and so forth. You get to the symmetric monoidal case by taking the homotopy inverse limit (that is, a symmetric monoidal $(\infty,n)$-category is a collection of pointed $(\infty,n+k)$-categories, each of which is obtained by "looping" the next one). You might find this definition convenient in the context of bordism categories, since they are naturally related in this way (if you ``loop'' the a bordism category of $d$-manifolds, you get a bordism category of $d+1$-manifolds: and this is sensible even when $d$ is negative).

Alternatively, you can define a symmetric monoidal $(\infty,n)$-category to be a commutative monoid in the setting of $(\infty,n)$-categories. There are many ways to formalize this. Since you're asking about specific models, let's suppose you start with some model category $\mathbf{A}$ for the homotopy theory of $(\infty,n)$-categories (higher-dimensional Segal spaces, for example). If you have a simplicial model category, you can do as Charles suggested and take algebras for some $E_{\infty}$-operad in simplicial sets. If you'd prefer not to mention operads, you can just copy Segal's definition of a $\Gamma$-space: take the category of functors $F$ from pointed finite sets into $\mathbf{A}$, and equip it with a model structure that enforces the relevant Segal condition.

As Martin mentions in his answer, there is an extensive discussion of the case $n=1$ in my book, and also of commutative monoids in an arbitrary $(\infty,1)$-category (of which this is a special case, since the collection of all $(\infty,n)$-categories can be regarded as an $(\infty,1)$-category). I don't know of references that address your question more specifically (though I would not be surprised if there were some).

$\endgroup$
1
$\begingroup$

For the special case of symmetric monoidal $(\infty,1)$-categories, you can find it in chapter 2, especially definition 2.0.0.7 of:

Jacob Lurie, Higher Algebra, pdf (with 950 pages, sic!)

$\endgroup$
1
  • 6
    $\begingroup$ In what sense is this definition more general? I thought all notions of ∞-categories are equivalent. Also, Definition 2.0.0.7 only covers the case of (∞,1)-categories, not (∞,n)-categories. $\endgroup$ Commented Nov 20, 2011 at 16:30

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .