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

Discussion Tag Cloud

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).
  1. This question on math.stackexchange piqued my interest. It asks what the monads on a given monoid are. That is, if we treat a monoid as a category with one object we can ask what the monads on that category are. I would have thought that this question would have had an elegant answer, because monads and monoids are both so fundamental. But in fact I can’t find a nice characterisation.

    Writing down the definitions we find that a monad on a monoid XX is equivalent to “an endomorphism θ:XX\theta\colon X\to X together with two elements m,hXm,h\in X such that:

    1. xX\forall x\in X, θ(x)m=mθ(θ(x))\theta(x)m = m\theta(\theta(x)),

    2. xX\forall x\in X, θ(x)h=hx\theta(x)h = hx,

    3. m 2=mθ(m)m^2 = m\theta(m),

    4. mθ(h)=mh=1m\theta(h) = mh = 1.”

    Now, in the nice cases when XX is a group or commutative, one can prove that mh=hm=1mh=hm=1 and that θ\theta is just the inner automorphism given by conjugation by hh. But in the general case I’m not able to prove that θ\theta can still only be an inner automorphism. So does anyone know what kind of structure this is?

    • CommentRowNumber2.
    • CommentAuthorMike Shulman
    • CommentTimeJun 19th 2016

    I think it’s not too hard to come up with examples of monads on (the deloopings of) monoids that are not much simpler than monads on arbitrary categories. Suppose for instance that κ\kappa is a cardinal number and TT a monad on SetSet that preserves sets of cardinality κ\kappa; then TT restricts to a monad on the full subcategory of sets of cardinality κ\kappa, which has only one isomorphism class and hence is equivalent to the delooping of a monoid. For instance, if κ= 0\kappa=\aleph_0 then TT could be any finitary algebraic theory (groups, monoids, rings, etc.).

  2. I wrote some blog posts about Monads on Monoids and Adjunctions between Monoids. The most interesting thing I found was that each monad on a monoid arises from a unique adjunction between monoids. The Eilenberg-Moore construction either doesn’t give you a one-object category, or it’s equivalent to the Kleisli category!