commutative monoid in a symmetric monoidal (infinity,1)-category
With duals for objects
With duals for morphisms
Special sorts of products
In higher category theory
Algebras and modules
Model category presentations
Geometry on formal duals of algebras
(…) symmetric monoidal (∞,1)-category (…)
-Category of commutative monoids
For a symmetric monoidal (∞,1)-category write for the -category of commutative monoids in .
This is (Lurie, section 4).
-Colimits over simplicial diagrams exists in and are computed in if they exist in and a preserved by tensor products.
Because the simplex category is a sifted (infinity,1)-category (as discussed there).
Created on December 2, 2010 20:05:49
by Urs Schreiber