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.
    • CommentAuthorFinnLawler
    • CommentTimeJan 19th 2010

    I've split module over a monad off from algebra for an endofunctor. It still needs work, notably the definition of tensor product of bimodules, but it's late and I'm tired.

    Also I added a remark to internal category about internal cats as monads in the bicategory of spans. I'm leading up to talking about internal profunctors and 2-sided fibrations, which Mike has been helping me understand at the café.

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeJan 19th 2010

    Thanks. I didn't actually remember that the material had been hiding there.

    We might have to equip one entry or other now with links to module over a monad. I just added a link to it into the relevant section at module.

    • CommentRowNumber3.
    • CommentAuthorzskoda
    • CommentTimeJan 19th 2010

    In fact I liked that modules over a monad were considered just a bit richer version of an algebra over an endofunctor; this suggests lots of generalization, of for example distributive laws etc. Regarding that the netries are now separated I added few additional words to have a part of the connection still stated.

    • CommentRowNumber4.
    • CommentAuthorTobyBartels
    • CommentTimeJan 19th 2010

    Yes, a few words at algebra for an endofunctor would be nice, as would a note at module over a monad.

    It looks like you did that, good.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeJan 19th 2010
    • (edited Jan 19th 2010)

    I changed the redirects, but currently algebra over a monad is still redirecting to monad instead of to module over a monad

    edit: hm, now it doesn't anymore. false alarm

    • CommentRowNumber6.
    • CommentAuthorFinnLawler
    • CommentTimeJan 23rd 2010

    Added the definition of tensor product of bimodules yesterday.

    • CommentRowNumber7.
    • CommentAuthorzskoda
    • CommentTimeJul 8th 2010

    A new reference (Fiore, Gambino, Kock) at monad, and a complaint in a query box. I think that the idea section needs more general viewpoint than that of algebraic theories, though have difficulty to come up with a canonical one.

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeJul 8th 2010

    While you are still editing monad:

    the first sentence of the Idea-section should go something like:

    A monad is an endomorphism in a 2-category equipped with the structure of a weak monoid: a 2-morphism from the composite of the morphism to itself, and one from the identity endomorphism to it, satisfying associativity and uniticity.

    In the same spirit there is a notion of module over a monad.

    Monads are often considered in the 2-category Cat where they are given by endofunctors with a monoid structure on them. Modules over monads in Cat and on Set encode algebraic structures on sets. Therefore modules over a monad are also called algebras overa monad.

    • CommentRowNumber9.
    • CommentAuthorMike Shulman
    • CommentTimeJul 8th 2010

    What is “weak” about a monad as a monoid?

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeJul 8th 2010

    What is “weak” about a monad as a monoid?

    Sorry, that was nonsense.

    • CommentRowNumber11.
    • CommentAuthorTodd_Trimble
    • CommentTimeJul 8th 2010

    Under tensor product of modules I added the modifier “reflexive” before the various instances of the word “coequalizer”. For it often happens that composition on one or the other side does not preserve general coequalizers, but it does preserve reflexive coequalizers.

    • CommentRowNumber12.
    • CommentAuthorzskoda
    • CommentTimeDec 20th 2010

    I moved this somewhat obsolete query from monad:

    Peter LeFanu Lumsdaine: I did the diagrams with the monad called (T,η,μ)(T,\eta,\mu) and have only just noticed that that disagrees with what’s used in the preceding description. Was there a particular principled reason for calling it (A,i,μ)(A,i,\mu) above? I can change the diagrams to agree if so, but if not, might it be easier on newcomers to use (T,η,μ)(T,\eta,\mu) throughout? Pretty much all the references I know use that as the generic name for a monad. —Peter

    Mike Shulman: I like TT as the name for a monad. (I also think that as a matter of exposition, this page should start out with monads in CatCat and introduce the more general version later, but I don’t have time to implement that right now.)

    Peter LeFanu Lumsdaine: I’d been thinking the same; so I’ve re-organised things as you suggest, and added an “idea” section. I think that probably goes into too much detail now, especially since “generalised algebraic theory” is only one of many ideas of what a monad is, but someone else can probably cut it down more dispassionately than I can :-)

    Mike Shulman: I don’t think it needs any cutting down. If anything, one could add more description of all the other things that a monad is.

    Zoran Škoda: I do not like the idea section. It describes a very special case of monad theory as the principal motivation, namely of monads in the category of sets. I know lots of heavy monad users, including mine, who almost never use monads to describe algebraic theories. For Jon Beck the principal motivation is cohomology theory, for some is the descent theory, for some generalized module theory, for some equivariance, for some relativizing affiness in algebraic geometry…

    • CommentRowNumber13.
    • CommentAuthorzskoda
    • CommentTimeDec 20th 2010
    • (edited Dec 20th 2010)

    Ad 8

    an endomorphism in a 2-category equipped with the structure of a weak monoid

    What weak ? Of course it is a strict monoid in a strict monoidal category of endofunctors.

    Edit: i see the answer later in the thread. Sorry.

    • CommentRowNumber14.
    • CommentAuthorFinnLawler
    • CommentTimeDec 8th 2012

    Added to module over a monad an observation about bimodules as algebras over a composite monad.

    • CommentRowNumber15.
    • CommentAuthorzskoda
    • CommentTimeDec 9th 2012
    • (edited Dec 9th 2012)

    The distributive law contains also the condition about the compatibility with the unit. Where did this condition disappear when talking about abstract bimodules ?

    • CommentRowNumber16.
    • CommentAuthorMike Shulman
    • CommentTimeDec 9th 2012

    An abstract bimodule is in particular a left module and a right module, each of which contains a unit condition. Is that what you’re asking?

    • CommentRowNumber17.
    • CommentAuthorzskoda
    • CommentTimeDec 9th 2012
    • (edited Dec 9th 2012)

    No, the distributive law between two monads in Cat has a compatibility triangle between the units of the two monads and the distributive law. If the monads are SS and TT and MM module for both, then the unit η M T:MTM\eta^T_M : M\to T M gives a map Sη M T:SMSTMS\eta^T_M : S M\to S T M and if the distributive law is d:STTSd: S T\to T S then d MS(η M T)=T(η M S)d_M \circ S(\eta^T_M) = T(\eta^S_M). This is the old case when MM is an object. Now I would expect something similar here.

    • CommentRowNumber18.
    • CommentAuthorFinnLawler
    • CommentTimeDec 10th 2012

    A distributive law doesn’t relate the units of the two monads — there are two triangle axioms, each asserting that the distributive law commutes with two different whiskerings of the same unit, so d MSη M T=η SM Td_M \circ S \eta^T_M = \eta^T_{S M} etc.

    • CommentRowNumber19.
    • CommentAuthorzskoda
    • CommentTimeDec 10th 2012

    Surely, I was writing the formula in haste without producing the diagram :) Still the question, if the distributive law makes compatibility for a bimodule where an analogy for the unit is lost ?

    • CommentRowNumber20.
    • CommentAuthorMike Shulman
    • CommentTimeDec 10th 2012

    The particular distributive law constructed on this page does satisfy the unit conditions. You can just check it.

    • CommentRowNumber21.
    • CommentAuthorFinnLawler
    • CommentTimeDec 11th 2012

    Right, there’s nothing new or tricky going on here. The distributive law is between ordinary monads on an ordinary category, that just happens to be a hom-category of a 2-category, and all of the conditions follow from the naturality of the associativity isomorphism of that 2-category.

    • CommentRowNumber22.
    • CommentAuthorUrs
    • CommentTimeOct 29th 2019

    I have slightly expanded the warning on terminology in the Idea-section. Now it reads as follows:

    Beware that modules over monads in Cat are often called algebras for the monad, since they literally are algebras in the sense of universal algebra, see below. By extension, one might speak of modules over monads in any 2-category as “algebras for the monad”.

    diff, v31, current

    • CommentRowNumber23.
    • CommentAuthorvarkor
    • CommentTimeOct 30th 2021

    Mention “opalgebra” terminology.

    diff, v35, current

    • CommentRowNumber24.
    • CommentAuthormattecapu
    • CommentTimeOct 25th 2023

    Added: stub definition of monad and modules in a virtual double category. Perhaps these should go in their own page? Maybe in a page about the Mod construction?

    diff, v37, current