论文标题
什么是内部群体？
What is an internal groupoid?
论文作者
论文摘要
本文研究的问题的答案带来了内部类固醇的新特征：（a）即使假定存在有限限制，它也存在； （b）它是涉及2-链接类别的完整子类别，即，一个类别的对象是配备了一对相互联系的对象的形态学的类别。该结果强调了一个事实，即甚至认为内部类型的类别是配备了互动的内部类别，它们可以等效地将其视为具有不符的三画像。此外，可以进一步收缩带有相关性的三画像的结构，该结构由一个形态和两个相互链接的互动组成。这种方法高度对比，其中类固醇被视为反身图，在其上定义了乘积结构。
An answer to the question investigated in this paper brings a new characterization of internal groupoids such that: (a) it holds even when finite limits are not assumed to exist; (b) it is a full subcategory of the category of involutive-2-links, that is, a category whose objects are morphisms equipped with a pair of interlinked involutions. This result highlights the fact that even thought internal groupoids are internal categories equipped with an involution, they can equivalently be seen as tri-graphs with an involution. Moreover, the structure of a tri-graph with an involution can be further contracted into a simpler structure consisting of one morphism with two interlinked involutions. This approach highly contrasts with the one where groupoids are seen as reflexive graphs on which a multiplicative structure is defined with inverses.
