Grupoid (teorie kategorií): Porovnání verzí

[[kategorieTeorie kategorií|Kategorii]] <math>C</math> nazveme grupoid, pokud je každý [[Teorie kategorií|morfizmus]] v <math>C</math> mezi libovolnými dvěma [[kategorie|objekty kategorie]] <math>C</math> [[Izomorfismus|izomorfizmem]].