Not signed in (Sign In)

Not signed in

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

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

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

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • 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)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)Mon(C) is monadic and locally presentable if CC 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)CU : CMon(C) \to C creates filtered colimits, for CC closed symmetric monoidal

    • CommentRowNumber11.
    • CommentAuthoradeelkh
    • 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.
    • CommentAuthoradeelkh
    • 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)

    Thanks! (But check your link, the above is broken.)

    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 GG-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.
    • CommentAuthoradeelkh
    • 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.
    • CommentAuthoradeelkh
    • 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 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 nnLab without, of course, knowing in advance what they are titled.

    In any case, thanks for all your additions!

    • 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.
    • CommentAuthoradeelkh
    • 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.
    • CommentAuthoradeelkh
    • CommentTimeMar 11th 2015

    Great, thanks!

  1. Redirect from AbMon.

    diff, v28, current

    • CommentRowNumber24.
    • CommentAuthorJ-B Vienney
    • CommentTimeNov 24th 2022

    Added explicitly the diagrams for a monoid morphism.

    diff, v31, current

    • CommentRowNumber25.
    • CommentAuthorelias_guisado
    • CommentTimeDec 26th 2023

    punctuation marks

    diff, v32, current