monoid in a monoidal (infinity,1)-category
Algebras and modules
Model category presentations
Geometry on formal duals of algebras
The notion of monoid (or monoid object, algebra, algebra object) in a monoidal (infinity,1)-category is the (infinity,1)-categorical generalization of monoid in a monoidal category.
For a monoidal (∞,1)-category with monoidal structure determined by the (∞,1)-functor
a monoid object of is a lax monoidal (∞,1)-functor?
This generalizes how, for monoidal categories, monoid objects are the same as lax monoidal functors
definition 1.1.14 in
An equivalent reformulation of commutative monoids in terms (∞,1)-algebraic theories is in
Revised on March 9, 2015 12:16:02
by Adeel Khan