Abstract
In this paper we study a generalization of the notion of categorical semidirect product, as defined in [6], to a non-protomodular context of categories where internal actions are induced by points, like in any pointed variety. There we define semidirect products only for regular points, in the sense we explain below, provided the Split Short Five Lemma between such points holds, and we show that this is the case if the category is normal, as defined in [12]. Finally, we give an example of a category that is neither protomodular nor Mal’tsev where such generalized semidirect products exist.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Barr, M.: Exact categories. In: Lecture Notes in Mathematics, vol. 236, pp. 1–120. Springer-Verlag (1971)
Barr, M., Wells, C.: Toposes, triples, theories, Reprints in Theory and Applications of Categories, no. 12 (2005)
Borceux, F., Bourn, D.: Mal’cev, Protomodular, Homological and Semi-abelian Categories, Mathematics and its Applications, vol. 566. Kluwer (2004)
Borceux, F., Janelidze, G., Kelly, G.M.: Internal object actions. Commentationes Mathematicae Universitatis Carolinae 46(2), 235–255 (2005)
Bourn, D.: Normalization equivalence, kernel equivalence and affine categories. In: Lecture Notes in Mathematics, vol. 1488, pp. 43–62. Springer-Verlag (1991)
Bourn, D., Janelidze, G.: Protomodularity, descent, products, semidirect. Theory Appl. Categ. 4(2), 37–46 (1998)
Carboni, A., Lambek, J., Pedicchio, M.C.: Diagram chasing in Mal’cev categories. J. Pure Appl. Algebra 69, 271–284 (1990)
Gumm, H.P., Ursini, A.: Ideals in universal algebra. Algebra Universalis 19, 45–54 (1984)
Hartl, M., Loiseau, B.: Internal object actions in homological categories, preprint, arXiv:1003.0096v1
Janelidze, G., Marki, L., Tholen, W., Ursini, A.: Ideal determined categories. Cahiers Top Geom. Diff. Cat. LI 2, 115–125 (2010)
Janelidze, G., Marki, L., Ursini, A.: Ideals and clots in universal algebra and in semi-abelian categories. J. Algebra 307, 191–208 (2007)
Janelidze, Z.: The pointed subobject functor, 3 × 3 lemmas, and subtractivity of spans. Theory Appl. Categ. 23(11), 221–242 (2010)
Mantovani, S.: The Ursini commutator as normalized Smith-Pedicchio commutator. Theory Appl. Categ 27(8), 174–188 (2012)
Martins-Ferreira, N., Sobral, M.: On categories with semi-direct products. J. Pure Appl. Algebra 216, 1968–1975 (2012)
Martins-Ferreira, N., Montoli, A., Sobral, M.: Semidirect products and crossed modules in monoids with operations. J. Pure Appl. Algebra 217, 334–347 (2013)
Metere, G., Montoli, A.: Semidirect products of internal groupoids. J. Pure Appl. Algebra 214, 1854–1861 (2010)
Mitschke, A.: Implication algebras are 3-permutable and 3-distributive. Algebra Universalis 1, 182–186 (1971)
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to George Janelidze on the occasion of his sixtieth birthday
Rights and permissions
About this article
Cite this article
Martins-Ferreira, N., Montoli, A. & Sobral, M. Semidirect Products and Split Short Five Lemma in Normal Categories. Appl Categor Struct 22, 687–697 (2014). https://doi.org/10.1007/s10485-013-9344-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-013-9344-5