Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

A monoid defines a small category with only one object.

Does the functor $F:Mon\to CAT$ from monoids to small categories preserve colimits/direct limits/limits/inverse limits/products?

I can find almost no information about categorical properties (what are limits, colimits, etc.) of $Mon$ in books. Products are the obvious thing, I suppose and I can imagine also what direct limits should be. But even coproducts I do not know. Does $Mon$ even have all colimits and limits?

I am also interested in the category $AbMon$ of abelian monoids. What are the categorical properties there?

Does the inclusion functor $I:AbMon\to Mon$ preserve colimits/direct limits/limits/inverse limits/products?

share|cite|improve this question
up vote 3 down vote accepted

I am going to assume the monoids have units, otherwise slight modifications are needed.

$Mon$ and $AbMon$ have all small limits and all small colimits, $F:Mon\to Cat$ and $F:AbMon\to Cat$ preserve all limits that exist in $Mon$ but preserve only a tiny handful of colimits (even hardly preserve binary coproducts). Many of the properties of $Mon$ and $AbMon$ can be deduced from general properties of monadic categories as each of these categories is monadic over $Set$.

Constructions of limits in each of these categories is pretty much straightforward: Arbitrary set-indexed products are constructed 'as in $Set$' and equalizers are given by a suitable subobject, as usual.

Colimits are a different story. Clearly binary coproducts can't be expected to be preserved since the coproduct in $Mon$ (or $AbMon$) of any two objects will be a monoid again while the coproduct of two categories is almost never a monoid but rather a category with at least two objects.

Coproducts in $AbMon$ are related to coproducts in $Ab$ (the category of abelian groups) while coproducts in $Mon$ are related to coproducts in $Grp$ (the category of groups). The latter construction is not so trivial and tends to manufacture huge coproducts from small ones (in group theory the coproduct of two groups is often called the free product or the amalgamated product).

In general the inclusion $AbMon\to Mon$ preserves limits but not colimits (or even binary products). For instance, if $M$ is the trivial monoid with one element then $M \coprod M$ in $AbMon$ is a monoid with four objects, $m_1, m_2, e, m$ where $m_1,m_2$ are the copies of the object in $M$, $e$ is a newly conjured identity element, and $m$ is the freely conjured product $m_1m_2$. In contract, the coproduct $M\coprod M$ in $Mon$ is countably infinite.

share|cite|improve this answer
Thank you for the wonderful answer. What about direct limits (colimits over a directed system)? My impression was, that $F$ and $G$ preserve them. – McMurphy Nov 22 '12 at 22:57
note: direct limit is older terminology for colimits. Inverse limit is older terminology for limit. So you are asking about directed colimits, and yes, they are preserved. – Ittay Weiss Nov 23 '12 at 0:43

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.