2
$\begingroup$

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?

$\endgroup$

1 Answer 1

6
$\begingroup$

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.

$\endgroup$
2
  • $\begingroup$ Thank you for the wonderful answer. What about direct limits (colimits over a directed system)? My impression was, that $F$ and $G$ preserve them. $\endgroup$
    – McMurphy
    Nov 22, 2012 at 22:57
  • $\begingroup$ 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. $\endgroup$ Nov 23, 2012 at 0:43

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .