Skip to main content
added 42 characters in body
Source Link
Bugs Bunny
  • 12.4k
  • 1
  • 30
  • 65

A groupoid is a category where every morphism is an isomorphism. Taking its skeleton throws the baby with the water, as you are left with a category where the only morphismsthere are the identities of theno morphisms between different objects, i.e., a bunch of groups or a diagonal groupoid.

A groupoid is a category where every morphism is an isomorphism. Taking its skeleton throws the baby with the water, as you are left with a category where the only morphisms are the identities of the objects...

A groupoid is a category where every morphism is an isomorphism. Taking its skeleton throws the baby with the water, as you are left with a category where there are no morphisms between different objects, i.e., a bunch of groups or a diagonal groupoid.

Source Link
Bugs Bunny
  • 12.4k
  • 1
  • 30
  • 65

A groupoid is a category where every morphism is an isomorphism. Taking its skeleton throws the baby with the water, as you are left with a category where the only morphisms are the identities of the objects...