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.
    • CommentAuthorAndrew Stacey
    • CommentTimeFeb 23rd 2010

    Added a diagram at commutative algebraic theory using the totally awesome SVG Editor.

    it now does itex!

    This was a ridiculously simple diagram to do.

    • CommentRowNumber2.
    • CommentAuthorHarry Gindi
    • CommentTimeFeb 23rd 2010
    • (edited Feb 23rd 2010)

    The matrices don't show up in opera.

    • CommentRowNumber3.
    • CommentAuthorAndrew Stacey
    • CommentTimeFeb 23rd 2010

    Gosh! There's no satisfying some people, is there?

    Seriously, exactly which bit doesn't show up? Better still, email me a screenshot.

    • CommentRowNumber4.
    • CommentAuthorEric
    • CommentTimeFeb 23rd 2010

    Awesome :)

    • CommentRowNumber5.
    • CommentAuthorTim_Porter
    • CommentTimeFeb 23rd 2010

    @Andrew. Lovely but are there some righthand ) s that are either missing or swallowed by abigger bracket?

    • CommentRowNumber6.
    • CommentAuthorAndrew Stacey
    • CommentTimeFeb 23rd 2010

    I've enlarged the boxes that contain the MathML bits. Does it look better now? What browser (and version) are you using?

    I just tried Opera and none of the MathML comes out, but then I think that Opera's rendering of MathML is broken as a whole (at least, it was; not sure what the current state of affairs is). Jacques' blog is a must-read on things like that.

    The SVG-editor should now be considered fully usable. There will, no doubt, be bugs and "features" but Jacques says that he thinks the main issues have been sorted out and would like lots of people to try it out. I'll put up more detailed instructions at the SVG Editor HowTo when I get a moment.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeFeb 29th 2012

    I have added a brief Idea-sentence to commutative algebraic theory together with a brief mentioning of monoidal mondads.

    Since there is also a good list of references, the following query box, which used to be there, should be obsolete, and so I am hereby moving it from there to here:

    [old query box:]

    +– {: .query} Can we have some please! This is something I want to use soon so it’d be nice to know where the details were originally worked out. —Andrew

    Mike: We should really have a separate page on monoidal monads since that notion is more general than its restriction to the case of algebraic theories. =–

    [end old query box]

    • CommentRowNumber8.
    • CommentAuthorTodd_Trimble
    • CommentTimeFeb 29th 2012

    I made some changes to the Idea-sentence at commutative algebraic theory. Notice that commutativity (with respect to permuting arguments) is much stronger than what is implied by the notion of commutative algebraic theory; for example, the theory generated by a single binary operation *\ast and subject to the equation (a*b)*(c*d)=(a*c)*(b*d)(a \ast b) \ast (c \ast d) = (a \ast c) \ast (b \ast d) is a commutative theory, but you get a different 4-ary operation if you permute aa and bb.

    This entry deserves further expansion, which I will try to get to later.

    • CommentRowNumber9.
    • CommentAuthorMike Shulman
    • CommentTimeFeb 29th 2012

    I still think we ought to have a separate page on monoidal monads. But I guess I don’t think that strongly enough yet to take the time to write one myself.

    • CommentRowNumber10.
    • CommentAuthorTodd_Trimble
    • CommentTimeFeb 29th 2012

    Mike, I agree with you, and I was also hoping to get to that myself as well.

    • CommentRowNumber11.
    • CommentAuthorTodd_Trimble
    • CommentTimeMar 1st 2012

    I have added more material to commutative algebraic theory, saying something about the relation to monoidal monad, for instance.

    • CommentRowNumber12.
    • CommentAuthorMike Shulman
    • CommentTimeMar 2nd 2012

    Nice, thank you! I’m a bit confused about the tensor product of Lawvere theories; when you say every theory is a monoid for \otimes do you mean in a unique or canonical way? That seems to say that every TT-algebra is automatically a TT-algebra internal to TT-algebras; isn’t that more of a property of commutative theories?

    • CommentRowNumber13.
    • CommentAuthorTodd_Trimble
    • CommentTimeMar 2nd 2012

    Mike, thanks for having a look – I probably goofed up here; I was in a hurry. I’ll need to think about what I wanted to say. (I thought I eventually wanted to say that the Kronecker product \otimes is a coproduct for commutative theories, and I must have had an analogy with rings vaguely in mind when I pulled the goof.)

    • CommentRowNumber14.
    • CommentAuthorZhen Lin
    • CommentTimeMar 2nd 2012

    I’m slightly confused. At some point in the article we seem to go from considering general monads to strong monads…?

    • CommentRowNumber15.
    • CommentAuthorTodd_Trimble
    • CommentTimeMar 2nd 2012

    Zhen, the monads considered in the article commutative algebraic theory are monads on SetSet, where they all automatically carry canonical strengths. But there is an interesting circle of ideas surrounding commutative monads and monoidal monads (as explored in Kock’s article) when one moves to more general monads on monoidal VV.

    • CommentRowNumber16.
    • CommentAuthorZhen Lin
    • CommentTimeMar 2nd 2012

    Ah. I didn’t know about that. Is the strength supposed to be obvious? I’m not seeing a way to get a canonical map A×TBT(A×B)A \times T B \to T(A \times B) for an arbitrary monad. Or is this a special fact about commutative monads?

    • CommentRowNumber17.
    • CommentAuthorTodd_Trimble
    • CommentTimeMar 2nd 2012

    It’s only obvious after you think of a strength as more or less the same as an enrichment of a functor (plus the fact that all functors are automatically SetSet-enriched). If TT is enriched (and we write internal homs as exponentials), then a strength A×TBT(A×B)A \times T B \to T(A \times B) can be defined as the mate of the composite

    A(A×B) BT(A×B) TBA \to (A \times B)^B \to T(A \times B)^{T B}

    where the first arrow is the unit of the ×hom\times-hom adjunction and the second is an instance of enrichment. Conversely, if you have a strength, you get an enrichment by taking the mate of the composite

    A B×T(B)strengthT(A B×B)T(eval)T(A)A^B \times T(B) \stackrel{strength}{\to} T(A^B \times B) \stackrel{T(eval)}{\to} T(A)
    • CommentRowNumber18.
    • CommentAuthorZhen Lin
    • CommentTimeMar 2nd 2012

    Very clearly explained, thanks! Perhaps it should be added to the strong monad article.

    • CommentRowNumber19.
    • CommentAuthorMike Shulman
    • CommentTimeMar 2nd 2012
    • (edited Mar 3rd 2012)

    Just for amusement value, a more concrete set-based way to say it is: a point aAa\in A defines a map “pair with aaBA×BB\to A\times B. Apply TT to that map to get TBT(A×B)T B \to T(A\times B). Since there’s one such map for each aAa\in A, we have A×TBT(A×B)A\times T B \to T(A\times B). If you interpret this in the internal logic of any ccc, with TT an enriched functor, you get the proof that Todd gave. (And I suppose you could interpret it in the “internal linear logic” of an arbitrary closed monoidal category too.)

    • CommentRowNumber20.
    • CommentAuthorPaoloPerrone
    • CommentTimeJan 14th 2020

    removed redirect, about to create dedicated page to commutative monads

    diff, v30, current

    • CommentRowNumber21.
    • CommentAuthorvarkor
    • CommentTimeNov 28th 2021

    Add original reference for commutative algebraic theories.

    diff, v32, current

    • CommentRowNumber22.
    • CommentAuthorvarkor
    • CommentTimeAug 8th 2023

    Point out a subtlety with the distinction between commutative theories and commutative operations.

    diff, v33, current

    • CommentRowNumber23.
    • CommentAuthorTodd_Trimble
    • CommentTimeAug 8th 2023

    Added a little more to varkor’s observation about commutativity not implying invariance under argument transposition.

    diff, v34, current

    • CommentRowNumber24.
    • CommentAuthorUrs
    • CommentTimeAug 8th 2023

    I have expanded the lead-in sentences of the definition of commutative monads (here) to make clear what the assumptions on TT are.

    diff, v35, current

    • CommentRowNumber25.
    • CommentAuthorTodd_Trimble
    • CommentTimeAug 8th 2023

    The definition isn’t wrong, but this article is about commutative algebraic theories, which from one point of view are certain strong monads on SetSet, not on a general symmetric monoidal category.

    • CommentRowNumber26.
    • CommentAuthorUrs
    • CommentTimeAug 8th 2023

    That’s exactly what I have tried to clarify (it was unclear before), check it out: diff 35.

    • CommentRowNumber27.
    • CommentAuthorTodd_Trimble
    • CommentTimeAug 8th 2023

    You’re defining a notion more general than what the entry is actually about, is what I’m saying.

    • CommentRowNumber28.
    • CommentAuthorUrs
    • CommentTimeAug 8th 2023

    That’s exactly what I have tried to clarify (it was unclear before), check it out: diff 35.

    • CommentRowNumber29.
    • CommentAuthorvarkor
    • CommentTimeAug 8th 2023

    Sketch a general situation in which commutative algebraic theories have commutative operations.

    diff, v36, current

    • CommentRowNumber30.
    • CommentAuthorTodd_Trimble
    • CommentTimeAug 8th 2023

    Urs, I’m not sure why we’re having this breakdown in communication, but I saw your response the first time, and didn’t think it was responsive to what I was pointing out. Repeating it verbatim is not helpful.

    I’ll try editing it a bit, and then see what happens.

    • CommentRowNumber31.
    • CommentAuthorTodd_Trimble
    • CommentTimeAug 8th 2023

    I made a few adjustments.

    diff, v37, current

    • CommentRowNumber32.
    • CommentAuthorTodd_Trimble
    • CommentTimeAug 8th 2023

    More adjustments.

    diff, v37, current