7
$\begingroup$

Is it possible to split a given category $C$ up into its groupoid of isomorphisms and a category that resembles a poset?

"Splitting up" should be that $C$ can be expressed as some kind of extension of a groupoid $G$ by a poset $P$ (or "directed category" $P$ the only epimorphisms in $P$ are the identities, all isomorphisms in $P$ are identities).

$\endgroup$
5
  • 5
    $\begingroup$ I don't see why you should, without some kind of "acyclicity" condition on your category. Consider the monoid of natural numbers as a one-object category, for instance -- what should this splitting be? $\endgroup$ Mar 24, 2010 at 14:58
  • $\begingroup$ The requirement that the only epimorphisms in $P$ are identities is not satisfiable for general categories; consider the following counter example: f 1 -----> 2 ^ -----> ^ |\ g |\ - - The morphisms f,g are both epi, but not identities. If you replace 'epimorphisms' with isomorphisms, then the construction I outlined below should work. $\endgroup$
    – Mikola
    Mar 24, 2010 at 15:06
  • 4
    $\begingroup$ I'm no category theorist but -- consider the special case of the monoid $M = R - {0}$ under multiplication, where R is an integral domain. Then we have $U = R^{\times}$, the group of units of the monoid, and $M/U$ has a natural partial ordering induced by the divisibility relation. I wonder whether there is a generalization of this to (some more, not all) categories? $\endgroup$ Mar 24, 2010 at 21:10
  • 1
    $\begingroup$ Perhaps this should be posted as a separate question, but will this splitting up work if we allow monoids? That is, can a category be split up into posets, groupoids and monoids? $\endgroup$
    – user2529
    Apr 20, 2012 at 16:04
  • 1
    $\begingroup$ You seem to mean that any category without isomorphisms is directed or a poset. The category with only one object whose endomorphism monoid is the natural numbers is not. $\endgroup$ May 17, 2015 at 7:07

6 Answers 6

12
$\begingroup$

I am also looking forward to answers to your question. Meanwhile here is something pointing roughly into that direction:

One can study a category $C$ through its set-valued functor category $Set^{C^{op}}$. By the Yoneda lemma, $C$ sits as a full subcategory inside this functor category, and from it one can reconstruct something close to $C$ (namely the idempotent completion of $C$). But non-equivalent categories can give rise to equivalent functor categories, e.g. a category $C$ in which not every idempotent splits and its idempotent completion, i.e. the category made from $C$ by adjoining objects such that each idempotent becomes a composition of projection to and inclusion of a subobject and thus splits. One calls such categories Morita-equivalent.

Now $Set^{C^{op}}$ is a Grothendieck topos (:=category of sheaves on a site, in this case with trivial topology) and there is the following theorem about those:

A locale is a distributive lattice closed under meets and finite joins, just like the lattice of open sets of a topological space, so it is a particular poset. The theorem of Joyal and Tierney, from their monograph "An extension of the Galois theory of Grothendieck", states that every Grothendieck topos is equivalent to the category of $G$-equivariant sheaves on a groupoid object in locales - see e.g. here.

Well at least it is a statement which separates a category into a groupoid and a poset part. So if you look from very far and take it with a boulder of salt you could read this as saying that every category is "Morita-equivalent" (not really!) to a groupoid internal to posets (it makes some intuitive sense to see this as an extension).

$\endgroup$
1
  • 5
    $\begingroup$ I agree that considering idempotents is important. To focus the issue: take the category C with only one object and only one non-identity morphism, which is idempotent. The original question seems to founder on this example; how do you "split it up"? Peter reaches a positive answer by blurring this issue out (which probably has to be done if you do want a positive answer). $\endgroup$ Mar 25, 2010 at 4:00
7
$\begingroup$

One type of category that factors nicely is called an EI category. The definition is that every Endomorphism is an Isomorphism. After taking the quotient by the groupoid, every endomorphism is the identity. But it is still not a poset. It could be something like the category of two parallel arrows, where Mor(A,B) has two elements, Mor(B,A) none, and the endomorphisms of each object are only the identity. This has a further poset quotient $A\to B$, but it isn't there yet.

So groupoid and poset are only two kinds of behavior in categories. Monoids are a third that have been mentioned before. In particular, idempotents, as in the monoid {0,1} under multiplication, do not embed in any group. And the two parallel arrows category is yet a fourth.

$\endgroup$
1
  • $\begingroup$ this reminds me of a characterization of the graphs of dynamical systems $\endgroup$
    – Joey Hirsh
    Jul 31, 2012 at 5:23
4
$\begingroup$

In the finite, one-object case, Krohn-Rhodes theory gives a way to decompose a semigroup as a wreath product of finite simple groups and aperiodic semigroups, which are in some sense "as non-grouplike as possible", though in a different way from posets. There is an extension of the theory to categories due to Wells. I don't know much about this, but it is similar to the sort of decomposition you're asking for.

$\endgroup$
3
$\begingroup$

Given any locally small category, $C$, the collection of all isomorphisms forms a subgroupoid, $G \subseteq C$, where $Ob(G) = Ob(C)$ and $Hom_G(A,B) = \left ( f \in Hom_C(A,B) : \exists g, h \in Hom_C(B,A) g \circ f = id_A, f \circ h = id_B \right ) $.

Because $G$ is a groupoid, it determines an equivalence relation, $R$ on the objects and morphisms of $C$ such for $A, B \in Ob(C)$:

$A \equiv_R B \Longleftrightarrow Hom_G(A,B) \neq \emptyset$

And for $f, g \in Hom_C(A,B)$:

$f \equiv_{R_{A,B}} g \Longleftrightarrow \exists h_B \in Hom_G(B,B), h_A \in Hom_G(A,A) : h_B \circ f = g \circ h_A$

If I understand what you are asking, then the quotient $C/R$ should be the 'poset' you want.

$\endgroup$
1
  • $\begingroup$ *Subject to the substitution epi -> iso as clarified in the comments, as otherwise this is not possible. $\endgroup$
    – Mikola
    Mar 24, 2010 at 16:27
3
$\begingroup$

Unless I totally misunderstand the question, this doesn't even work for categories with one object, i.e. monoids (which are not groups), does it?

$\endgroup$
1
$\begingroup$

This is a good question, and I have a similar idea/philosophy/direction of thought on categories. To realize this idea, I introduce the notion of a minor category and a gauged minor category of a small category in my recent paper (named causal-net category) https://arxiv.org/abs/2201.08963. Under suitable conditions, the gauged minor category is an acyclic category, which, in my opinion, represents the poset/order/most unsymmetric structure of a category.

I think the directed category you coined would be acyclic category introduced by D.Kozlov, all of whose endo-morphisms and invertible morphisms are identity morphisms. The groupoid of an acyclic category is a discrete category, so it is of the most unsymmetric class of categories.

In my opinion, the categorical-minor theory in my paper should relate to Joyce's work on abelian categories (a series of papers, named configurations in abelian categories https://arxiv.org/abs/math/0312190). In the setting of abelian categories, categorical-minor theory seems to be a categorical version of composition series theory, although there are many detailed work need to be done.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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