4 research outputs found
Internal groupoids as involutive-2-links
Regardless of its environment, the category of internal groupoids is shown to
be equivalent to the full subcategory of involutive-2-links that are unital and
associative. The new notion of involutive-2-link originates from the study of
triangulated surfaces and their application in additive manufacturing and
3d-printing. Thus, this result establishes a bridge between the structure of an
internal groupoid and an abstract triangulated surface. An example is provided
which can be thought of as a crossed-module of magmas rather than groups
What is an internal groupoid?
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
Regular relations and bicartesian squares
AbstractIt is shown that regular relations, which arise in a number of areas of programming theory, can be characterised in a variety of ways as pullbacks in Set; and up to isomorphism, as bicartesian squares in Set