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 there are the identities no morphisms between different objects, i.e., a bunch of the objects..groups or a diagonal groupoid.
|
2 | added 42 characters in body | ||
|
|
||||
|
|
1 |
|
||
|
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... |
||||
