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 beauty book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology colimits combinatorics 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 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.
    • CommentAuthorTodd_Trimble
    • CommentTimeMay 23rd 2010

    Wrote a section on the associated monad at operad, in terms of the framework introduced under the section titled Preparation.

    • CommentRowNumber2.
    • CommentAuthorHarry Gindi
    • CommentTimeMay 23rd 2010

    @Todd: Perhaps we should move the detailed conceptual treatment to a separate page (including this part that you wrote just now). I was thinking of writing out some of the easy proofs of the statements, and it seems like that section is growing independently of the rest of the article. It seems like a good candidate for splitting, but I defer to your judgement.

    • CommentRowNumber3.
    • CommentAuthorTodd_Trimble
    • CommentTimeMay 23rd 2010

    Anyone else have an opinion about Harry’s suggestion? As for myself, I’ll think about it and maybe sleep on it.

    • CommentRowNumber4.
    • CommentAuthorMike Shulman
    • CommentTimeMay 23rd 2010

    I’m not sure why that section is called “detailed conceptual treatment” – it seems to me to be just one way of giving the definition. The previous definition is just as adequate, modulo the missing coherence diagrams. Another way of giving the definition is in terms of generalized multicategories, which is not discussed much at operad. (By the way, operad and multicategory and even globular operad were surprisingly lacking in links to generalized multicategory, so I added some.) I could see the argument for splitting it off, especially if you’re going to add detailed proofs; in line with the “zoomability” philosophy the article “operad” should maybe be more concise with a link to the details if people want them.

    The section on “free operads” also looks to me as though it would fit better on a page free operad.

    • CommentRowNumber5.
    • CommentAuthorTodd_Trimble
    • CommentTimeMay 24th 2010
    • (edited May 24th 2010)

    I think the material under “detailed conceptual treatment” could be condensed considerably just by recalling a few key facts, and then one could zoom in on these facts. Let’s see if I can do it here:

    (1) Set opSet^{\mathbb{P}^{op}} is the free symmetric monoidally cocomplete category on one generator.

    (2) Given symmetric monoidally cocomplete CC, DD, let SymMonCoc(C,D)SymMonCoc(C, D) denote the category of symmetric monoidal cocontinuous functors and symmetric monoidal transformations. It follows from (1) that there is an equivalence of categories

    Set opSymMonCoc(Set op,Set op)Set^{\mathbb{P}^{op}} \simeq SymMonCoc(Set^{\mathbb{P}^{op}}, Set^{\mathbb{P}^{op}})

    (3) The right side of this equivalence is a strict monoidal category whose monoidal product is endofunctor composition. The monoidal structure transfers across the equivalence to give monoidal category structure on Set opSet^{\mathbb{P}^{op}}. An operad is by definition a monoid in this monoidal category.

    I don’t think that’s too cryptic a summary, and one can just “zoom in” on the terms to find out what they mean. It shouldn’t be much more than a cut-and-paste job, really, since so many of the details are currently at operad.

    • CommentRowNumber6.
    • CommentAuthorMike Shulman
    • CommentTimeMay 24th 2010

    That’s a good idea, Todd.

    • CommentRowNumber7.
    • CommentAuthorzskoda
    • CommentTimeFeb 18th 2011

    Todd, do you have the source of your text listed at operad – John linked there is a pdf scan which is not of best scanning quality.

    By the way, Loday and Valette wrote a web draft of a new book “Algebraic operads” which I now listed in operad, link is

    • CommentRowNumber8.
    • CommentAuthorTodd_Trimble
    • CommentTimeFeb 19th 2011

    Zoran, I don’t think I have the latex file, but I do have hard copy which I can mail you if you like. (I could probably rewrite the latex file since the paper is short, and that would give me one thing (among others) to do while I’m with my in-laws all next week, starting tomorrow.) I should probably send John the missing page 16.

    • CommentRowNumber9.
    • CommentAuthorDmitri Pavlov
    • CommentTimeMay 11th 2019

    Added redirects for substitution products.

    diff, v78, current

    • CommentRowNumber10.
    • CommentAuthorKeith Harbaugh
    • CommentTimeMar 4th 2021

    Added “Club” to “Related concepts”

    diff, v84, current

  1. The square brackets […] seem to stop the system from processing the math formula inside.


    diff, v86, current

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeMay 8th 2021
    • (edited May 8th 2021)

    I spotted one such problem in this paragraph and fixed it (the parenthetical remark there used to be enclosed in square brackets).

    If there are more issues, please give some indication where to find them (e.g. name closeby strings that one can search for)

    diff, v87, current

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeAug 7th 2022

    I have added publication data to:

    diff, v90, current

    • CommentRowNumber14.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 16th 2022

    Added reference

    diff, v91, current

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeAug 16th 2022

    I have added hyperlink to double functor

    diff, v92, current

    • CommentRowNumber16.
    • CommentAuthorMike Shulman
    • CommentTimeAug 22nd 2022

    Do we have anywhere on the nLab a definition of operad or multicategory in terms of the binary “ i\circ_i” composition operations instead of the nn-ary “parallel” composition operations? I don’t see it at operad or multicategory.

    (This alternative definition is equivalent in the presence of all the other axioms, but when you start removing things, like the identity operations or the parallel associativity axiom, starting from the i\circ_i definition often gives a better result.)

    • CommentRowNumber17.
    • CommentAuthorvarkor
    • CommentTimeAug 23rd 2022

    On a related note, it would be nice to have a name for the two presentations of operad/multicategory. I think I’ve only seen names that involve i\circ_i, as you write, which is not particularly convenient.

    • CommentRowNumber18.
    • CommentAuthorMike Shulman
    • CommentTimeAug 23rd 2022

    Yeah. One possibility is the phrases I also used: “binary composition” and “parallel nn-ary composition”.

    • CommentRowNumber19.
    • CommentAuthoranuyts
    • CommentTimeFeb 7th 2023

    Operads are single-object multicategories; multicategories are colored operads.

    diff, v94, current

    • CommentRowNumber20.
    • CommentAuthorGuest
    • CommentTimeMar 12th 2023
    Swiss cheese operad is 2 colored, i.e. a slice of Swiss cheese not a 3D block. Anything been done on specifically tri-coloured?
    I have a use in mind.
    jim stasheff