Abstract
AbstractThe 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.
Funder
Instituto Politécnico de Leiria
Publisher
Springer Science and Business Media LLC
Subject
General Computer Science,Theoretical Computer Science,Algebra and Number Theory
Reference7 articles.
1. Banach, R.: Regular relations and bicartesian squares. Theor. Comput. Sci. 129, 187–192 (1994)
2. Borceux, F., Janelidze, G.: Galois Theories. Cambridge Studies in Advanced Mathematics, vol. 72. Cambridge University Press, Cambridge (2001)
3. Ehresmann, C.: Catégories topologiques et categories différentiables, Coll. Géo. Diff. Globale Bruxelles, pp. 137–150 (1959)
4. Mac Lane, S.: Categories for the Working Mathematician. Springer, Berlin (1998)
5. Martins-Ferreira, N.: A unified classification theorem for Mal’tsev-Like categories. Appl. Categ. Struct. 28, 323–338 (2020)