Skip to main content
Log in

Mal’cev Conditions Revisited

  • Published:
Applied Categorical Structures Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Adámek, J., Lawvere, F.W., Rosický, J.: On the duality between varieties and algebraic theories. Algebra Universalis 49, 35–49 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  2. Adámek, J., Rosický, J.: Locally Presentable and Accessible Categories. Cambridge University Press (1994)

  3. Adámek, J., Rosický, J.: On injectivity in locally presentable categories. Trans. Amer. Math. Soc. 336, 785–804 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  4. Baldwin, J.T., Bermann, J.: A model theoretic approach to Mal’cev conditions. J. Symbolic Logic 42, 277–288 (1977)

    Article  MATH  MathSciNet  Google Scholar 

  5. Borceux, F.: Handbook of Categorical Algebra, II. Cambridge University Press (1994)

  6. Borceux, F., Bourn, D.: Mal’cev, protomodular, homological and semi-abelian categories. Kluwer (2004)

  7. Bourn, D.: Fibration of points and congruence modularity. Algebra Universalis 52, 403–429 (2005)

    Article  MathSciNet  Google Scholar 

  8. Bourn, D.: Normal functors and strong protomodularity. Theory Appl. Categ. 7, 206–218 (2000)

    MATH  MathSciNet  Google Scholar 

  9. Bourn, D., Janelidze, G.: Characterization of protomodular varieties of universal algebras. Theory Appl. Categ. 11(2003), 143–147 (2003)

    MATH  MathSciNet  Google Scholar 

  10. Day, A.: A characterization of modularity for congruence lattices of algebras. Canad. Math. Bull. 12, 167–173 (1969)

    MATH  MathSciNet  Google Scholar 

  11. Grätzer, G.: Two Mal’cev-type theorems in universal algebra. J. Combin. Theory 8, 334–342 (1970)

    Article  MATH  Google Scholar 

  12. Grothendieck, A.: Les dérivateurs. Chapitre XVIII, manuscript 1990, to appear at: http://www.math.jussieu.fr/~maltsin/groth/Derivateurs.html

  13. Janelidze, G., Márki, L., Tholen, W.: Semi-abelian categories. J. Pure Appl. Algebra 168, 367-386 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  14. Jónsson, B.: Algebras whose congruence lattices are distributive. Math. Scand. 21, 110–121 (1967)

    MATH  MathSciNet  Google Scholar 

  15. Jónsson, B.: Congruence varieties. Algebra Universalis 10, 355–394 (1980)

    Article  MATH  MathSciNet  Google Scholar 

  16. Jónsson, B., Tarski, A.: Direct Decompositions Of Finite Algebraic Systems. Notre Dame Math. Lectures, Notre Dame, Indiana (1947)

  17. Lawvere, F.W.: Functorial semantics of algebraic theories. Dissertation, Columbia University 1963; Reprints in Theory Appl. Categ. 5, 23–107 (2004)

  18. Makkai, M., Paré, R.: Accessible categories: the foundation of categorical model theory. Cont. Math. 104, Amer. Math. Soc. viii, 176 (1989)

  19. Mal’cev, A.I.: On the general theory of algebraic systems. Mat. Sb. N.S. 35, 3–20 (1954)

    MathSciNet  Google Scholar 

  20. Neumann, W.: On Mal’cev conditions. J. Austral. Math. Soc. 17, 376–384 (1974)

    Article  MATH  MathSciNet  Google Scholar 

  21. Nešetřil, J., : A surprising permanence of old motivations (a not so rigid story). (2007) (preprint)

  22. Rosický, J.: Accessible categories, saturation and categoricity. J. Symbolic Logic 62, 891–901 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  23. Rosický, J., Adámek, J., Borceux, F.: More on injectivity in locally presentable categories. Theory Appl. Categ. 10, 148–161 (2002)

    MATH  MathSciNet  Google Scholar 

  24. Taylor, W.: Characterizing Mal’cev conditions. Algebra Universalis 3, 351–395 (1973)

    Article  MATH  MathSciNet  Google Scholar 

  25. Trnková, V., Barkhudaryan, A.: Some universal properties of the category of clones. Algebra Universalis 47, 239–266 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  26. Ursini, A.: On subtractive vatieties I. Algebra Universalis 31, 204-222 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  27. Wille, R.: Kongruenzklassengeometrien. Lect. Notes in Math., vol. 113. Springer-Verlag (1970)

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to J. Rosický.

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

Reprints 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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10485-007-9114-3

Keywords

Mathematics Subject Classifications (2000)

Navigation