Not signed in (Sign In)

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

  • 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 bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex-geometry computable-mathematics computer-science constructive constructive-mathematics cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration 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 lie-theory limit limits linear linear-algebra locale localization logic manifolds mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nforum 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 subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory 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
    • CommentTimeMar 2nd 2012

    Started an article on monoidal monad. An earlier redirect had sent it over to Hopf monad which is something that Zoran was working on, but I think it deserves an article to itself, with discussion of the relation to commutative monads, etc. (which I have started).

    • CommentRowNumber2.
    • CommentAuthorMike Shulman
    • CommentTimeMar 2nd 2012

    Excellent, thanks!

    • CommentRowNumber3.
    • CommentAuthorPaoloPerrone
    • CommentTimeJan 9th 2020

    Started page about tensor product of algebras over a commutative monad.

    diff, v8, current

    • CommentRowNumber4.
    • CommentAuthorPaoloPerrone
    • CommentTimeJan 30th 2020

    Added functoriality of correspondence.

    diff, v13, current

    • CommentRowNumber5.
    • CommentAuthorPaoloPerrone
    • CommentTimeFeb 3rd 2020

    Added monoidal structure on Kleisli category

    diff, v15, current

    • CommentRowNumber6.
    • CommentAuthorSam Staton
    • CommentTimeFeb 4th 2020

    Attempt to better summarize the situation at the beginning of the article.

    diff, v16, current

  1. It looks like the proof is actually for the second composite.


    diff, v17, current

    • CommentRowNumber8.
    • CommentAuthorJonasFrey
    • CommentTimeSep 6th 2021

    Does anybody know of an example of a monoidal monad on a symmetric monoidal category, where the monad itself is not symmetric, i.e. the square

    TATB T(AB) TBTA T(BA) \begin{matrix} TA \otimes TB &\to& T(A\otimes B)\\ \downarrow && \downarrow\\ TB \otimes TA &\to& T(B\otimes A)\\ \end{matrix}

    doesn’t necessarily commute?

    I thought that André Joyal mentioned such a monad at a CT talk about the Dold Kan correspondence and Tom Leinster blogged about it, but although I found the blogpost here, it doesn’t mention any such monad.

    Does anybody happen to remember the monad in question, or another non-symmetric monoidal monad on a symmetric monoidal category?

    • CommentRowNumber9.
    • CommentAuthorRichard Williamson
    • CommentTimeSep 7th 2021
    • (edited Sep 7th 2021)

    Interesting question! Do cubical sets perhaps provide an example? I’d guess that they can be viewed as algebras for some monoidal monad on the category Set \mathsf{Set}^{\mathbb{N}} (with symmetric monoidal structure given by levelwise product), or something like that (thinking of each element of X(n)X(n), for some nn \in \mathbb{N}, as a free-standing nn-cube), with the monoidalness of the monad inducing the usual tensor product of cubical sets; but this tensor product is not symmetric, and I think this would necessitate that the square you mention does not always commute.

    • CommentRowNumber10.
    • CommentAuthorJonasFrey
    • CommentTimeSep 7th 2021
    • (edited Sep 7th 2021)

    Hmm, I think the square can only be defined if the tensor product is symmetric (or at least braided) since the vertical maps are meant to be braiding maps. Anyway, which non-symmetric tensor product are you referring to? A kind of substitution tensor product?

    EDIT: I assume that you mean the convolution tensor product on presheaves on this cube category. That’s indeed not symmetric.

    • CommentRowNumber11.
    • CommentAuthorRichard Williamson
    • CommentTimeSep 8th 2021
    • (edited Sep 8th 2021)

    Yes, that is the tensor product I meant: the one induced by Day convolution from the monoidal structure of the cube category.

    Hmm, I thought that you were only using the symmetric structure of the underlying symmetric monoidal category to define that square, not the one on algebras? My feeling was that if that square commutes, it will force the monoidal structure on algebras to be symmetric, but I haven’t gone through the details.

    One thing that I think is true is that the only way to get an example would be to have left and right strengths where the right strength is not compatible with the symmetric structure of the underlying symmetric monoidal category, but where one still has the necessary compatibility between the strengths to have a commutative monad (as defined in the non-symmetric setting). I think there should be such examples (I see no reason for the compatibility between strengths to force that the right strength comes from the symmetric structure), but if my idea about looking at non-symmetric-ness of the tensor product on algebras is no good, then I’m not sure where to look for them!

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)