CatDat

groupoid

A groupoid is a category in which every morphism is an isomorphism.

Relevant implications

Examples

Counterexamples

Unknown

For these categories the database has no info if they satisfy this property or not.