Abstract
We characterize cosieves in locally presentable categories which are generated by a set of objects or are even principal. We apply our results to the category of algebraic theories where they are related to Mal’cev conditions dealt with in universal algebra.
Similar content being viewed by others
References
Adámek, J., Lawvere, F.W., Rosický, J.: On the duality between varieties and algebraic theories. Algebra Universalis 49, 35–49 (2003)
Adámek, J., Rosický, J.: Locally Presentable and Accessible Categories. Cambridge University Press (1994)
Adámek, J., Rosický, J.: On injectivity in locally presentable categories. Trans. Amer. Math. Soc. 336, 785–804 (1993)
Baldwin, J.T., Bermann, J.: A model theoretic approach to Mal’cev conditions. J. Symbolic Logic 42, 277–288 (1977)
Borceux, F.: Handbook of Categorical Algebra, II. Cambridge University Press (1994)
Borceux, F., Bourn, D.: Mal’cev, protomodular, homological and semi-abelian categories. Kluwer (2004)
Bourn, D.: Fibration of points and congruence modularity. Algebra Universalis 52, 403–429 (2005)
Bourn, D.: Normal functors and strong protomodularity. Theory Appl. Categ. 7, 206–218 (2000)
Bourn, D., Janelidze, G.: Characterization of protomodular varieties of universal algebras. Theory Appl. Categ. 11(2003), 143–147 (2003)
Day, A.: A characterization of modularity for congruence lattices of algebras. Canad. Math. Bull. 12, 167–173 (1969)
Grätzer, G.: Two Mal’cev-type theorems in universal algebra. J. Combin. Theory 8, 334–342 (1970)
Grothendieck, A.: Les dérivateurs. Chapitre XVIII, manuscript 1990, to appear at: http://www.math.jussieu.fr/~maltsin/groth/Derivateurs.html
Janelidze, G., Márki, L., Tholen, W.: Semi-abelian categories. J. Pure Appl. Algebra 168, 367-386 (2002)
Jónsson, B.: Algebras whose congruence lattices are distributive. Math. Scand. 21, 110–121 (1967)
Jónsson, B.: Congruence varieties. Algebra Universalis 10, 355–394 (1980)
Jónsson, B., Tarski, A.: Direct Decompositions Of Finite Algebraic Systems. Notre Dame Math. Lectures, Notre Dame, Indiana (1947)
Lawvere, F.W.: Functorial semantics of algebraic theories. Dissertation, Columbia University 1963; Reprints in Theory Appl. Categ. 5, 23–107 (2004)
Makkai, M., Paré, R.: Accessible categories: the foundation of categorical model theory. Cont. Math. 104, Amer. Math. Soc. viii, 176 (1989)
Mal’cev, A.I.: On the general theory of algebraic systems. Mat. Sb. N.S. 35, 3–20 (1954)
Neumann, W.: On Mal’cev conditions. J. Austral. Math. Soc. 17, 376–384 (1974)
Nešetřil, J., : A surprising permanence of old motivations (a not so rigid story). (2007) (preprint)
Rosický, J.: Accessible categories, saturation and categoricity. J. Symbolic Logic 62, 891–901 (1997)
Rosický, J., Adámek, J., Borceux, F.: More on injectivity in locally presentable categories. Theory Appl. Categ. 10, 148–161 (2002)
Taylor, W.: Characterizing Mal’cev conditions. Algebra Universalis 3, 351–395 (1973)
Trnková, V., Barkhudaryan, A.: Some universal properties of the category of clones. Algebra Universalis 47, 239–266 (2002)
Ursini, A.: On subtractive vatieties I. Algebra Universalis 31, 204-222 (1994)
Wille, R.: Kongruenzklassengeometrien. Lect. Notes in Math., vol. 113. Springer-Verlag (1970)
Author information
Authors and Affiliations
Corresponding author
Additional information
J. Rosický was supported by MSM 0021622409 and GAČR 201/06/0664. The hospitality of the Université du Littoral is gratefully acknowledged.
Rights and permissions
About this article
Cite this article
Bourn, D., Rosický, J. Mal’cev Conditions Revisited. Appl Categor Struct 16, 723–733 (2008). https://doi.org/10.1007/s10485-007-9114-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-007-9114-3