Skip to main content
2 of 2
added 2 characters in body; edited title
Pete L. Clark
  • 65.4k
  • 12
  • 241
  • 381

Category = Groupoid x Poset?

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).

Gerrit Begher
  • 3.2k
  • 1
  • 24
  • 33