homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
With braiding
With duals for objects
category with duals (list of them)
dualizable object (what they have)
ribbon category, a.k.a. tortile category
With duals for morphisms
monoidal dagger-category?
With traces
Closed structure
Special sorts of products
Semisimplicity
Morphisms
Internal monoids
Examples
Theorems
In higher category theory
A symmetric monoidal $(\infty,n)$-category is the analog of a symmetric monoidal (∞,1)-category for (∞,n)-category theory.
As Jacob Lurie says in Lurie, Mathoverflow quote:
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 “op’‘ 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).
An object $X$ in a symmetric monoidal $(\infty,n)$-category is called dualizable if …
Let $C$ be a symmetric monoidal $(\infty,n)$-category. Then there exists another symmetric monoidal $(\infty,n)$-category $C^{fd}$ and a symmetric monoidal functor
such that $C^{fd}$ has duals and is universal with these properties:
for any symmetric monoidal (∞,n)-category with duals $D$ and any symmetric monoidal functor $F : D \to C$ there exists a symmetric monoidal functor $f : D \to C^{fd}$, unique up to equivalence, and an equivalence
This appears as (Lurie, claim 2.3.19).
$C^{fd}$ is obtained from $C$ by discarding all objects that do not have duals and all k-morphisms that do not admit right and left adjoints.
An object $X \in C$ is called a fully dualizable object if it is in the essential image of $C^{fd} \to C$.
For all $n \in \mathbb{N}$, the (∞,n)-category of cobordisms $Bord_n$ is symmetric monoidal. By the cobordism hypothesis this should be the free symmetric monoidal (∞,n)-category with duals on the point.
For all $n$ and $C$ any symmetric monoidal $(\infty,n)$-category, there is a symmetric monoidal (∞,n)-category of spans of ∞-groupoids over $C$.
monoidal category, monoidal (∞,1)-category
symmetric monoidal category, symmetric monoidal (∞,1)-category, symmetric monoidal $(\infty,n)$-category
A discussion of dualizable objects is in section 2.3 of
Last revised on September 6, 2017 at 00:05:47. See the history of this page for a list of all contributions to it.