The category of internal groupoids (in an arbitrary category) is shown to be equivalent to the full subcategory of so called involutive-2-links that are unital and associative.

中文翻译：

---

论内部类群的结构

内部类群的范畴（在任意范畴中）被证明等同于所谓的单一且关联的内卷 2-链接的完整子范畴。