Abstract
In a regular category \(\mathbb {E}\), the direct image along a regular epimorphism f of a preorder is not a preorder in general. In Set, its best preorder approximation is then its cocartesian image above f. In a regular category, the existence of such a cocartesian image above f of a preorder S is actually equivalent to the existence of the supremum \(R[f]\vee S\) among the preorders. We investigate here some conditions ensuring the existence of these cocartesian images or equivalently of these suprema. They apply to two very dissimilar contexts: any topos \(\mathbb {E}\) with suprema of countable chains of subobjects or any n-permutable regular category.
Similar content being viewed by others
References
Barr, M.: Exact Categories, Lecture Notes in Mathematics, vol. 236, pp. 1–120. Springer, Berlin (1971)
Bourn, D.: Protomodular aspect of the dual of a topos. Adv. Math. 187, 240–255 (2004)
Bourn, D.: Fibration of points and congruence modularity. Algebra Univ. 52, 403–429 (2005)
Bourn, D.: Suprema of equivalence relations and non-regular Goursat categories. Cahiers Topol. Géom. Differ. Categ. 59–2, 142–194 (2018)
Bourn, D., Gran, M.: Categorical aspects of modularity. In: Janelidze, G., Pareigis, B., Tholen, W. (eds.) Galois Theory, Hopf Algebras, and Semiabelian Categories. Fields Institute Communications, vol. 43, pp. 77–100. American Mathematical Society, Providence (2004)
Bourn, D., Gran, M.: Normal sections and direct product decompositions. Commun. Algebra 32, 3825–3842 (2004)
Carboni, A., Kelly, G.M., Pedicchio, M.C.: Some remarks on Mal’cev and Goursat categories. Appl. Categ. Struct. 1, 385–421 (1993)
Carboni, A., Lambek, J., Pedicchio, M.C.: Diagram chasing in Mal’cev categories. J. Pure Appl. Algebra 69, 271–284 (1991)
Chadja, I., Rachunek, J.: Relational characterizations of permutable and \(n\)-permutable varieties. Czechoslov. Math. J. 33, 505–508 (1983)
Day, A.: A characterization of modularity for congruence lattices of algebras. Can. Math. Bull. 12, 167–173 (1969)
Gran, M., Rodelo, D.: A new characterization of Goursat categories. Appl. Categ. Struct. 20, 229–238 (2012)
Gumm, H.P.: Geometrical Methods in Congruence Modular Varieties, vol. 45. Memoirs of American Mathematical Society, Providence (1983)
Hagemann, J., Mitschke, A.: On n-permutable congruences. Algebra Univ. 3, 8–12 (1973)
Janelidze, Z., Rodelo, D., Van der Linden, T.: Hagemann’s theorem for regular categories. J. Homotopy Relat. Struct. 9, 55–66 (2014)
Johnstone, P.T.: Topos Theory. Academic Press, London (1977)
Martins-Ferreira, N., Rodelo, D., Van der Linden, T.: An observation on \(n\)-permutability. Bull. Belg. Math. Soc. Simon Stevin 21, 223–230 (2014)
Tull, S.: Conditions for an n-permutable category to be Mal’tsev. Cahiers Topol. Géom. Differ. Catég. 58, 189–194 (2017)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Maria Manuel Clementino.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Bourn, D. On the Cocartesian Image of Preorders and Equivalence Relations in Regular Categories. Appl Categor Struct 30, 1153–1176 (2022). https://doi.org/10.1007/s10485-022-09686-w
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-022-09686-w
Keywords
- Internal reflexive relation
- Preorder and equivalence relation
- Supremum of pairs of internal preorders and of equivalence relations
- Cocartesian image
- Regular epimorphism and regular category
- Congruence modular variety and category
- Congruence n-permutable variety and category
- Elementary topos