Proposition

Remark

There is a functor φ:Δop→FinSet*\varphi : \Delta^{op} \to FinSet_* such that the monoidal (infinity,1)-categoryunderlying a symmetric monoidal (∞,1)(\infty,1)-category p:C⊗→N(FinSet*)p : C^\otimes \to N(FinSet_*) is the (infinity,1)-pullback of pp along φ\varphi.