Skip to main content
MathOverflow

Return to Question

added 2 characters in body; edited title
Source Link
Pete L. Clark
Pete L. Clark
  • 65.4k
  • 12
  • 241
  • 381

Category = GrupooidGroupoid x Poset?

Is it possible to split a given category $C$ up into its grupoidgroupoid 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 grupoidgroupoid $G$ by a poset $P$ (or "directed category" $P$ the only epimorphisms in $P$ are the identities, all isomorphisms in $P$ are identities).

Category = Grupooid x Poset?

Is it possible to split a given category $C$ up into its grupoid 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 grupoid $G$ by a poset $P$ (or "directed category" $P$ the only epimorphisms in $P$ are the identities, all isomorphisms in $P$ are identities).

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

Source Link
Gerrit Begher
Gerrit Begher
  • 3.2k
  • 1
  • 24
  • 33

Category = Grupooid x Poset?

Is it possible to split a given category $C$ up into its grupoid 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 grupoid $G$ by a poset $P$ (or "directed category" $P$ the only epimorphisms in $P$ are the identities, all isomorphisms in $P$ are identities).