Types of Category

Groupoid

A groupoid is the Oidification of a group. Thus a groupoid is a category in which all morphisms are isomorphisms. cat As such, it is a category augmented with an operation on morphisms inv (often written as ( −)−1) such that

𝑓∘inv⁡(𝑓)=id=inv⁡(𝑓)∘𝑓

---

develop | SemBr | en