# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeNov 18th 2010

started entry on category of monoids. Spelled out the free monoid construction. Stated the construction of pushouts of monoids along free maps with reference to Schwede-Shipley. Will fill in the proof in a moment.

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeNov 18th 2010

added the algorithm for computing pushouts along free monoid morphisms in $Mon(C)$ to category of monoids

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeNov 18th 2010

added a bunch of references on constructions of free monoids, also a general reference by Porst. Added the statement that under mild conditions $Mon(C)$ is monadic and locally presentable if $C$ is.

• CommentRowNumber4.
• CommentAuthorMike Shulman
• CommentTimeNov 19th 2010

That’s got to be the longest “Proposition” environment I’ve ever seen… (-:

• CommentRowNumber5.
• CommentAuthorMike Shulman
• CommentTimeNov 19th 2010

Also, for monadicity of Mon(C) you surely at least need C to have countable coproducts. If I read correctly, Horst assumes all his categories are locally presentable.

• CommentRowNumber6.
• CommentAuthorUrs
• CommentTimeNov 20th 2010

you surely at least need C to have countable coproducts.

I’ll try to clean it up later. Am on a shaky connection right now…

• CommentRowNumber7.
• CommentAuthorUrs
• CommentTimeNov 22nd 2010

Okay, I have added in the local presentabability-clause.

• CommentRowNumber8.
• CommentAuthorMike Shulman
• CommentTimeFeb 14th 2011

I have tried to clarify at category of monoids that all the constructions currently mentioned there assume the tensor product preserves colimits in both variables, which fails in some examples (notably the example of monads as monoids in an endofunctor category).

• CommentRowNumber9.
• CommentAuthorUrs
• CommentTimeFeb 14th 2011

Thanks.

• CommentRowNumber10.
• CommentAuthorUrs
• CommentTimeMar 17th 2011

added section on filtered colimits with the statement that $U : CMon(C) \to C$ creates filtered colimits, for $C$ closed symmetric monoidal

• CommentRowNumber11.
• CommentTimeMar 9th 2015

I created the pages monoid in a monoidal category, commutative monoid in a symmetric monoidal category, and tried to improve their (infinity,1)-categorical versions monoid in a monoidal (infinity,1)-category and commutative monoid in a symmetric monoidal (infinity,1)-category. (I merged commutative algebra in an (infinity,1)-category into the latter page.

• CommentRowNumber12.
• CommentAuthorzskoda
• CommentTimeMar 9th 2015
• (edited Mar 9th 2015)

The entry monoid is predominantly about the same concept, it is definitely neither thought of nor written about monoid in Sets. Just it says early on that the motivating classical example is in Set, but the whole entry is about several definitions, all but that one example in generality of a monoidal category (or higher category). Other entries like monad refer to monoid, and I think this is how it should stay (the unadorned link should be about the most standard generality of the term). This is not against existence of another entry, though I still think a merge like between monad and comonad seem to me maybe more practical. But never mind.

• CommentRowNumber13.
• CommentTimeMar 11th 2015
• (edited Mar 11th 2015)

created model structure on commutative monoids. also added to model structure on algebras over an operad the statement (from Spitzweck’s thesis) that if the operad is cofibrant and the monoid axiom holds, then the model structure on algebras over the operad exists. i don’t know why this wasn’t there already, and i’m also not quite sure what the stuff about G-objects and coloured operads is doing there…

• CommentRowNumber14.
• CommentAuthorUrs
• CommentTimeMar 11th 2015
• (edited Mar 11th 2015)

I see that indeed there is some stuff on that page which is not properly connected. The discussion of coloured operads belongs to the existence statement further below, by Berger-Moerdijk, on model structures on algebras over colored operads. Similarly the discussion of the $G$-objects is part of a discussion of model structures on algebras over symmetric operads, also by Berger-Moerdijk, which however seems missing from the page. Not sure what happened there, maybe I got interrupted.

Right now I am not in position to edit, will try to add more glue later. But in this spirit I would like to ask you to add qualifiers to your statement, since there are different conventions for what “operad” is to mean by default: add whether the given statement is for the symmetric/non-symmetric version and for colored or single object.

Then the stuff about commutative monoids we should make sure to cross-link with model structure on monoids in a monoidal model category.

• CommentRowNumber15.
• CommentAuthorUrs
• CommentTimeMar 11th 2015

Never mind the link, maybe that was my fault.

Adeel, could I ask you to make all environments for theorems/definitions/etc. that you add be numbered. By changing

  +-- {: .un_theorem}


to

  +-- {: .num_theorem}


etc. ? Thanks!

• CommentRowNumber16.
• CommentTimeMar 11th 2015

Sorry, I did have the wrong link and fixed it later. I confess to knowing almost nothing about operads, so I just copied in the statement from Spitzweck. He says he uses the definition of Kriz-May, would that just mean symmetric and non-coloured?

ANd sure, I will switch to numbered environments.

• CommentRowNumber17.
• CommentTimeMar 11th 2015

Also I just added E-infinity monoid in a symmetric monoidal model category. I hope I’m not adding stuff which is already in some form on the nLab. I should also add some examples and crosslinks.

• CommentRowNumber18.
• CommentAuthorUrs
• CommentTimeMar 11th 2015
• (edited Mar 11th 2015)

Thanks.

Regarding model structures on $E_\infty$-algebras we have a general comment on that hidden at E-infinity algebra. Should be cross-linked with what you just added.

We also have something rudimentary at commutative monoid in a symmetric monoidal (infinity,1)-category.

I hope I’m not adding stuff which is already in some form on the nLab.

Yes, that’s an issue that we have to deal with. That’s why I am always after adding cross-links. We need to try to make sure that it is possible to find all possibly relevant articles on the $n$Lab without, of course, knowing in advance what they are titled.

• CommentRowNumber19.
• CommentAuthorDmitri Pavlov
• CommentTimeMar 11th 2015

Concerning rectification of E_∞-monoids to commutative monoids, one can actually give an if-and-only-if criterion for general monoidal model categories, see Proposition 10.1.2 and the much more general operadic statement in Theorem 9.3.6 in http://arxiv.org/abs/1410.5675.

• CommentRowNumber20.
• CommentTimeMar 11th 2015

@Urs, oh I see, this is going under the name E-infinity algebra on the nLab. I will try to merge these two entries then.

@Dmitri, oh cool, would you mind adding this to the page?

• CommentRowNumber21.
• CommentAuthorDmitri Pavlov
• CommentTimeMar 11th 2015
• CommentRowNumber22.