Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I would like to understand how I can endow an n-fold (complete) Segal Space with a symmetric monoidal structure. My question is basically the same as in this post: What is a symmetric monoidal $(\infty,n)$-category? but I'm still not sure how to formulate this in terms of complete Segal spaces. If I just try to copy the definition from Lurie's book "Higher Algebra" I guess I get something like this:

Let $X:\Delta^{op}\rightarrow Top$ be a complete Segal space ( or $(\infty,1)$-category) then a symmetric monoidal structure on $X$ is a morphism $F: X^{\otimes}\rightarrow N(Fin_{*})$ between two Segal spaces with $X^{\otimes}_{<1>}:=F^{-1}(<1>)=X$ (so $F$ is a natural transformation $F$= { $F_n: X_n^{\otimes} \rightarrow N(Fin_{*})_n $} and I guess $F^{-1}(<1>)$ = { $F_n^{-1}(<1>) $ }$_{n\geq 0}$ ) with the following two properties:

1)$F$ is a coCartesian fibration

2)For all $n\geq 0$ the morphisms $ p^i:< n > \rightarrow <1>;p^i(i)=1;p^i(j\neq i)=* $ induce an equivalence of Segal spaces: $X_{< n >}^{\otimes} \rightarrow X_{<1>}^{\otimes}\times...\times X^{\otimes}_{<1>}$.

$Fin_*$ is the category of pointed sets $< n >$ = { * ,1,...,n } and functions with $ f(*) = * $ as morphisms and $N(Fin_{*}):\Delta^{op} \rightarrow Set$ is the nerve of $Fin_{*}$

My question is if this is correct or is there a mistake (I'm sure there is) or some additional condition that I'm missing? How do I generalize this to n-fold Segal spaces? Just replace everything with n-fold versions? I'm pretty new at this stuff so I'm quite uncertain how to formlate this. As far as I know there is not much literature on this topic.

share|improve this question
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.