CINXE.COM

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN" "http://www.w3.org/2002/04/xhtml-math-svg/xhtml-math-svg-flat.dtd" > <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title> Malcev, protomodular, homological and semi-abelian categories in nLab </title> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /> <meta name="robots" content="index,follow" /> <meta name="viewport" content="width=device-width, initial-scale=1" /> <link href="/stylesheets/instiki.css?1676280126" media="all" rel="stylesheet" type="text/css" /> <link href="/stylesheets/mathematics.css?1660229990" media="all" rel="stylesheet" type="text/css" /> <link href="/stylesheets/syntax.css?1660229990" media="all" rel="stylesheet" type="text/css" /> <link href="/stylesheets/nlab.css?1676280126" media="all" rel="stylesheet" type="text/css" /> <link rel="stylesheet" type="text/css" href="https://cdn.jsdelivr.net/gh/dreampulse/computer-modern-web-font@master/fonts.css"/> <style type="text/css"> h1#pageName, div.info, .newWikiWord a, a.existingWikiWord, .newWikiWord a:hover, [actiontype="toggle"]:hover, #TextileHelp h3 { color: #226622; } a:visited.existingWikiWord { color: #164416; } </style> <style type="text/css"><![CDATA[/*></style> <script src="/javascripts/prototype.js?1660229990" type="text/javascript"></script> <script src="/javascripts/effects.js?1660229990" type="text/javascript"></script> <script src="/javascripts/dragdrop.js?1660229990" type="text/javascript"></script> <script src="/javascripts/controls.js?1660229990" type="text/javascript"></script> <script src="/javascripts/application.js?1660229990" type="text/javascript"></script> <script src="/javascripts/page_helper.js?1660229990" type="text/javascript"></script> <script src="/javascripts/thm_numbering.js?1660229990" type="text/javascript"></script> <script type="text/x-mathjax-config"> <![CDATA[//><!]]> </script> <script type="text/javascript"> <![CDATA[//><!]]> </script> <link href="https://ncatlab.org/nlab/atom_with_headlines" rel="alternate" title="Atom with headlines" type="application/atom+xml" /> <link href="https://ncatlab.org/nlab/atom_with_content" rel="alternate" title="Atom with full content" type="application/atom+xml" /> <script type="text/javascript"> document.observe("dom:loaded", function() { generateThmNumbers(); }); </script> </head> <body> <div id="Container"> <div id="Content"> <h1 id="pageName"> <svg xmlns="http://www.w3.org/2000/svg" width="1.872em" height="1.8em" viewBox="0 0 190 181"> <path fill="#226622" d="M72.8 145c-1.6 17.3-15.7 10-23.6 20.2-5.6 7.3 4.8 15 11.4 15 11.5-.2 19-13.4 26.4-20.3 3.3-3 8.2-4 11.2-7.2a14 14 0 0 0 2.9-11.1c-1.4-9.6-12.4-18.6-16.9-27.2-5-9.6-10.7-27.4-24.1-27.7-17.4-.3-.4 26 4.7 30.7 2.4 2.3 5.4 4.1 7.3 6.9 1.6 2.3 2.1 5.8-1 7.2-5.9 2.6-12.4-6.3-15.5-10-8.8-10.6-15.5-23-26.2-31.8-5.2-4.3-11.8-8-18-3.7-7.3 4.9-4.2 12.9.2 18.5a81 81 0 0 0 30.7 23c3.3 1.5 12.8 5.6 10 10.7-2.5 5.2-11.7 3-15.6 1.1-8.4-3.8-24.3-21.3-34.4-13.7-3.5 2.6-2.3 7.6-1.2 11.1 2.8 9 12.2 17.2 20.9 20.5 17.3 6.7 34.3-8 50.8-12.1z"/> <path fill="#a41e32" d="M145.9 121.3c-.2-7.5 0-19.6-4.5-26-5.4-7.5-12.9-1-14.1 5.8-1.4 7.8 2.7 14.1 4.8 21.3 3.4 12 5.8 29-.8 40.1-3.6-6.7-5.2-13-7-20.4-2.1-8.2-12.8-13.2-15.1-1.9-2 9.7 9 21.2 12 30.1 1.2 4 2 8.8 6.4 10.3 6.9 2.3 13.3-4.7 17.7-8.8 12.2-11.5 36.6-20.7 43.4-36.4 6.7-15.7-13.7-14-21.3-7.2-9.1 8-11.9 20.5-23.6 25.1 7.5-23.7 31.8-37.6 38.4-61.4 2-7.3-.8-29.6-13-19.8-14.5 11.6-6.6 37.6-23.3 49.2z"/> <path fill="#193c78" d="M86.3 47.5c0-13-10.2-27.6-5.8-40.4 2.8-8.4 14.1-10.1 17-1 3.8 11.6-.3 26.3-1.8 38 11.7-.7 10.5-16 14.8-24.3 2.1-4.2 5.7-9.1 11-6.7 6 2.7 7.4 9.2 6.6 15.1-2.2 14-12.2 18.8-22.4 27-3.4 2.7-8 6.6-5.9 11.6 2 4.4 7 4.5 10.7 2.8 7.4-3.3 13.4-16.5 21.7-16 14.6.7 12 21.9.9 26.2-5 1.9-10.2 2.3-15.2 3.9-5.8 1.8-9.4 8.7-15.7 8.9-6.1.1-9-6.9-14.3-9-14.4-6-33.3-2-44.7-14.7-3.7-4.2-9.6-12-4.9-17.4 9.3-10.7 28 7.2 35.7 12 2 1.1 11 6.9 11.4 1.1.4-5.2-10-8.2-13.5-10-11.1-5.2-30-15.3-35-27.3-2.5-6 2.8-13.8 9.4-13.6 6.9.2 13.4 7 17.5 12C70.9 34 75 43.8 86.3 47.4z"/> </svg> nLab Malcev, protomodular, homological and semi-abelian categories </h1> <div class="navigation"> <a href='#navEnd'>Skip the Navigation Links</a> | <a href="/nlab/show/HomePage" accesskey="H" title="Home page">Home Page</a> | <a href="/nlab/all_pages" accesskey="A" title="List of all pages">All Pages</a> | <a href="/nlab/latest_revisions" accesskey="U" title="Latest edits and page creations">Latest Revisions</a> | <a href="https://nforum.ncatlab.org/discussion/13502/#Item_2" title="Discuss this page in its dedicated thread on the nForum" style="color: black">Discuss this page</a> | <form accept-charset="utf-8" action="/nlab/search" id="navigationSearchForm" method="get"> <fieldset class="search"><input type="text" id="searchField" name="query" value="Search" style="display:inline-block; float: left;" onfocus="this.value == 'Search' ? this.value = '' : true" onblur="this.value == '' ? this.value = 'Search' : true" /></fieldset> </form> </div> <div id="revision"> <html xmlns="http://www.w3.org/1999/xhtml" xmlns:svg="http://www.w3.org/2000/svg" xml:lang="en" lang="en"> <head><meta http-equiv="Content-type" content="application/xhtml+xml;charset=utf-8" /><title></title></head> <body> This entry is about the book: <ul> <li> <a class="existingWikiWord" href="/nlab/show/Francis+Borceux">Francis Borceux</a>, <a class="existingWikiWord" href="/nlab/show/Dominique+Bourn">Dominique Bourn</a>, Mal’cev, protomodular, homological and semi-abelian categories Mathematics and Its Applications 566, Kluwer 2004 <a href="https://link.springer.com/book/10.1007/978-1-4020-1962-3">doi:10.1007/978-1-4020-1962-3</a> </li> </ul> on <a class="existingWikiWord" href="/nlab/show/nonabelian+homological+algebra">nonabelian homological algebra</a>, such as its <a class="existingWikiWord" href="/nlab/show/diagram+chasing+lemmas">diagram chasing lemmas</a>, in <a class="existingWikiWord" href="/nlab/show/Mal%27cev+categories">Mal'cev categories</a>, <a class="existingWikiWord" href="/nlab/show/protomodular+categories">protomodular categories</a>, <a class="existingWikiWord" href="/nlab/show/semi-abelian+categories">semi-abelian categories</a> and <a class="existingWikiWord" href="/nlab/show/homological+categories">homological categories</a>. From the introduction: <blockquote> The most striking successes of category theory, as far as clarification of mathematical situations is concerned, are probably the theory of <a class="existingWikiWord" href="/nlab/show/abelian+categories">abelian categories</a> and the theory of <a class="existingWikiWord" href="/nlab/show/toposes">toposes</a>. This is not too amazing since both theories are closely related to the development of sheaf theory, a context in which it is desirable to get rid of the usual notion of element. But up to recently, category theory did not provide any comparable insight in General Algebra, a domain in which element-based mathematics remains the slogan. In particular, category theory could not provide a structural tool able to grasp, even in the most representative category of classical algebra - namely, the category <a class="existingWikiWord" href="/nlab/show/Grp"><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"> <semantics> <mrow> <mi mathvariant="normal">Gp</mi> </mrow> <annotation encoding="application/x-tex">\mathrm{Gp}</annotation> </semantics> </math></a> of groups - the deep essence of the notion of normal <a class="existingWikiWord" href="/nlab/show/subobject">subobject</a>: namely, an equivalence class for a congruence and not just the kernel of a morphism. And category theory could not grasp either the conceptual foundations of the <a class="existingWikiWord" href="/nlab/show/diagram+chasing+lemmas+-+contents">homological lemmas</a>: the Nine Lemma, the <a class="existingWikiWord" href="/nlab/show/snake+lemma">Snake Lemma</a>, which remain valid and strongly meaningful in the category <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi mathvariant="normal">Gp</mi></mrow><annotation encoding="application/x-tex">\mathrm{Gp}</annotation></semantics></math> of groups, even if this category does not belong to the abelian setting in which these lemmas are generally proved in a significant categorical way. Of course, there have been since a long time attempts to provide an axiomatic context in which to get the isomorphism theorems, the decomposition theorems or the previous homological lemmas for the varieties of Universal Algebra: Baer (1947, [6]), Goldie (1952, [48]), Atiyah (1956, [5]), Higgins (1956, [54]), Kurosh (1959, [73]), Hilton-Ledermann (1960, [55]), Eckmann-Hilton (1962, [40]), Tsalenko (1967, [92]), but also Hofmannn (1960, [56]), Fröhlich (1961, [46]), Huq (1968, [57]), Gerstenhaber (1970, [47]), Burgin (1970, [34]), Orzech (1972, [83]). These first attempts, despite their interest, consist generally in a long list of axioms whose independence is certainly not clear. But more importantly, these axioms look desperately heavy and complicated in comparison with the elegance of the characterization of abelian models. We refer the reader to the introduction of the paper by Janelidze-Márki-Tholen (2002, [60]) for a reliable historical approach to this topic. … Establishing an organic and synthetic connection between all these attempts the ambition of this book. To achieve this, an additional ingredient was necessary, of purely categorical nature: the <a class="existingWikiWord" href="/nlab/show/fibration+of+points">fibration of points</a>. This fibration allows representing every category as a fibration whose fibres are pointed categories, i.e. categories with a zero object (see Bourn, 1996, [17]). This book will give evidence that the fibration of points emphasizes the importance of split epimorphisms in the context of algebraic theories, but also that this fibration of points has a very strong classification power: see on page 466 the table summarizing these classification properties. … </blockquote> <h2 id="contents">Contents</h2> (with links to the related <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>lab entries) <ul> <li>Preface</li> </ul> <ol> <li> Metatheorems </li> <li> <a class="existingWikiWord" href="/nlab/show/Mal%27cev+categories">Mal'cev categories</a> </li> <li> <a class="existingWikiWord" href="/nlab/show/protomodular+category">Protomodular categories</a> </li> <li> <a class="existingWikiWord" href="/nlab/show/homological+category">Homological categories</a> </li> <li> <a class="existingWikiWord" href="/nlab/show/semi-abelian+category">Semi-abelian categories</a> </li> <li> <a class="existingWikiWord" href="/nlab/show/protomodular+category">Strongly protomodular categories</a> </li> <li> <a class="existingWikiWord" href="/nlab/show/essentially+affine+category">Essentially affine categories</a> </li> </ol> <ul> <li> Appendix <ol> <li> <a class="existingWikiWord" href="/nlab/show/algebraic+theory">Algebraic theories</a> </li> <li> <a class="existingWikiWord" href="/nlab/show/internal+relation">Internal relations</a> </li> <li> <a class="existingWikiWord" href="/nlab/show/internal+groupoid">Internal groupoids</a> </li> <li> Variations on <a class="existingWikiWord" href="/nlab/show/epimorphisms">epimorphisms</a> </li> <li> <a class="existingWikiWord" href="/nlab/show/regular+category">Regular</a> and <a class="existingWikiWord" href="/nlab/show/exact+categories">exact categories</a> </li> <li> <a class="existingWikiWord" href="/nlab/show/monad">Monads</a> </li> <li> <a class="existingWikiWord" href="/nlab/show/Grothendieck+fibration">Fibrations</a> </li> </ol> </li> <li> Classification table of fibrations of points </li> <li> Bibliography </li> <li> Index of symbols </li> <li> Index of definitions </li> </ul> <h2 id="bibliography">Bibliography</h2> <ol> <li> P. Agliano, A. Ursini, Ideals and other generalizations of congruence classes, Journal of Australian Math. Soc., Ser. A 53 (1992) 103-115 </li> <li> P. Agliano, A. Ursini, On subtractive varieties II: general properties, Algebra Universalis 36 (1996) 222-259 </li> <li> P. Agliano, A. Ursini, On subtractive varieties III: from ideals of congruences, Algebra Universalis 37 (1997) 296-333 </li> <li> P. Agliano, A. Ursini, On subtractive varieties IV: definability of principal ideals, Algebra Universalis 38 (1997) 355–389 </li> <li> M. Atiyah, On the Krull-Schmidt Theorem with applications to sheaves, Bull. Soc. Math. France 84 (1956) 307-317 </li> <li> R. Baer, Direct decomposition, Trans. Amer. Math. Soc. 62 (1947) 62-98 </li> <li> M. Barr, Exact categories, Springer Lect. Notes in Math. 236 (1971) 1-120 </li> <li> M. Barr, J. Beck, Hornology and standard constructions, Springer Lec. Notes in Math. 80 (1969) 245-335 </li> <li> J. Bénabou, Introduction to bicategories, Springer Lect. Notes in Math. 47 (1967) 1-77 </li> <li> J. Bénabou, Fibered categories and the foundations of naive category theory, J. of Symbolic Logic 50 (1985) 10 </li> <li> F. Borceux, <a class="existingWikiWord" href="/nlab/show/Handbook+of+Categorical+Algebra">Handbook of Categorical Algebra</a>, Cambridge Univ. Press, vol. 1-3 (1994) </li> <li> F. Borceux, A survey of semi-abelian categories, in: Galois theory, Hopf algebras, and semiabelian categories, 27–60, Fields Inst. Commun., 43, Amer. Math. Soc., Providence, RI, 2004, <a href="http://www.ams.org/mathscinet-getitem?mr=2005b:18015">MR2005b:18015</a> </li> <li> F. Borceux, M. M. Clementino, Topological semi-abelian algebras, Adv. Math. 190 (2005), no. 2, 425–453, <a href="http://dx.doi.org/10.1016/j.aim.2004.03.002">doi</a>, <a href="http://www.ams.org/mathscinet-getitem?mr=2005b:18015">MR2005b:18015</a> </li> <li> F. Borceux, M. Grandis, Jordan-Hölder, modularity and distributivity in non-commutative algebra, J. Pure Appl. Algebra 208 (2007), no. 2, 665–689, <a href="http://dx.doi.org/10.1016/j.jpaa.2006.03.004">doi</a>, <a href="http://www.ams.org/mathscinet-getitem?mr=2007k:18021">MR2007k:18021</a> </li> <li> D. Bourn, The shift functor and the comprehensive factorization for internal groupoids, Cahiers Top. Géométrie Différentielle Catégoriques 28 (1987) 197-226 </li> <li> D. Bourn, Normalization equivalence, kernel equivalence and alefine categories, Springer Lect. Notes in Math. 1448 <a class="existingWikiWord" href="/nlab/show/Como">Como</a> (1991) 43-62 </li> <li> D. Bourn, Mal’cev categories and fibrations of pointed objects, Appl. Categorical Structures 4 (1996) 302-327 </li> <li> D. Bourn, Baer sums and fibered aspects of Mal’cev operations, Cahiers Top. Géom. Diff. Catégoriques 40 (1999) 297-316 </li> <li> D. Bourn, Normal subobjects and abelian objects in protomodular categories. J. Algebra 228 (2000) 143-164 </li> <li> D. Bourn, Normal functors and strong protomodularity, Theory Appl. Cat- egories 7 (2000) 206-218 </li> <li> D. Bourn, 3 x 3 lemma and protomodularity, J. Algebra 236 (2001) 778-795 </li> <li> D. Bourn, A categorical genealogy for the congruence distributive property, Theory Appl. Categories 8 (2001) 391-407 </li> <li> D. Bourn, Intrinsic centrality and associated classifying properties, J. of Algebra 256 (2002) 126-145 </li> <li> D. Bourn, Aspherical abelian groupoids and their directions, J. Pure Appl. Alg. 168 (2002) 133 146 </li> <li> D Bourn, The denormalized 3 x 3 lemma, J. Pure Appl. Algebra 177 (2003) 113-129 </li> <li> D Bourn, Commutator theory in regular Mal’cev categories, Publications of the Fields Institute (to appear) </li> <li> D Bourn, Protomodular aspect of the dual of a topos, Advances in Mathematics, Adv. Math. 187 (2004), no. 1, 240–255, <a href="http://dx.doi.org/10.1016/j.aim.2003.09.004">doi</a>, <a href="http://www.ams.org/mathscinet-getitem?mr=2006a:18003">MR2006a:18003</a> </li> <li> D Bourn, Commutator theory in strongly semi-abelian categories, Preprint, Univ. du Littoral (2003), submitted for publication </li> <li> D Bourn, M. Gran, Centrality and normality in protomodular categories, Theory Appl. Categories 9 (2002) 151-165 </li> <li> D Bourn, M. Gran, Central extensions in semi-abelian categories, J. Pure Appl. Alg. 175 (2002) 31-44 </li> <li> D. Bourn, M. Gran, Centrality and connectors in Maltsev categories, Algebra Universalis 48 (2002) 309-331 </li> <li> D. Bourn, G. Janelidze, Protomodularity, descent and semi-direct product, Theory Appl. Categories 4 (1998) 37-46 </li> <li> D. Bourn, G. Janelidze, Characterization of protomodular varieties of universal algebra, Theory Appl. Categories 11 (2003) 143-147 </li> <li> M.S. Burgin, Categories with involution and correspondences in <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>γ</mi></mrow><annotation encoding="application/x-tex">\gamma</annotation></semantics></math>-categories, Trans. Moscow Math. Soc. 22 (1970) 181-257 </li> <li> A. Carboni, Categories of affine spaces, J. Pure Appl. Alg. 61 (1989) 243-25O </li> <li> A. Carboni, G. M. Kelly, M. C. Pedicchio, Some remarks on Mal’tsev and Goursat categories, Appl. Categorical Structures 1 (1993) 385-421 </li> <li> A. Carboni, J. Lambek, M. C. Pedicchio, Diagram chasing in Mal’cev categories, J. Pure Appl. Alg. 69 (1990) 271-284 </li> <li> A. Carboni, M. C. Pedicchio, N. Pirovano, Internal graphs and internal groupolds in Mal’cev categories, CMS Conference proceedings, Category Theory 1991 13 (1992) 97-109 </li> <li> Y. Diers, Categories of commutative algebras, Oxford University Press (1992) </li> <li> B. Eckmann, P.J. Hilton, Group-like structures in general categories Math. Ann. 145 (1962) 227-255 </li> <li> T. Everaert, T. Van der Linden, Baer invariants in semi-abelian categories H: homologs, preprint (2003) </li> <li> T.H. Fay, On categorical conditions for congruences to commute, Algebra Univ. 8 (1978) 173-179 </li> <li> R. Freese, R. McKenzie, Commutator theory for congruence modular varieties, Load. Math. Soc. Lect. Notes Series 125 (1987) </li> <li> P. Freyd, Abelian categories, Harper and Row (1964) </li> <li> P. Freyd, A. Scedrov, Categories, allegories, North Holland (1990) </li> <li> A. Fröhlich, Non-abelian homological algebra I, Derived functors and <a class="existingWikiWord" href="/nlab/show/satellites">satellites</a>, Proc. London Math. Soc. 11 (1961) 239-275 </li> <li> M. Gerstenhaber, A categorical setting for the Baer extension theory, Proc. in Symposia in Pure Mathematics 17 (1970) 50-64 </li> <li> A. W. Goldie, The Jordan-Hölder theorem for general abstract algebras, Proc. London Math. Math. Soc. 2 (1950) 107-113 </li> <li> M. Gran, Internal categories in Mal’cev categories, J. Pure Appl. Alg. 143 (1999) 221-229 </li> <li> M. Gran, Central extensions and internal groupolds in Maltsev categories, J. Pure Appl. Alg. 155 (2001) 139-166 </li> <li> M. Gran, Seni-abelian exact completions, Hornology, Homotopy and Appl. 4(1) (2002) 175-189 </li> <li> H. P. Gumm, Geometrical methods in congruence modular varieties, Mere. Amer. Math. Soc. 45 (1983) </li> <li> J. Hagemann, C. Herrmann, A concrete ideal multiplication .for al- gebraic systems and its relation to congruence distributivity, Arch. Math. 32 (1979) 234-245 </li> <li> P. J. Higgins, Groups with multiple operators, Proc. London Math. Soc. 6 (1956) 366-416 </li> <li> P. J. Hilton and W. Ledermann, On the Jordan-Hölder theorem in homological monoids, Proc. London Math. Soc. 10 (1960) 321-334 </li> <li> F. Hofmann, Uber cine die Kategorie der Gruppen umfassende Kategorie, Sitzunss. Bayerische Akad. Wissensch. Math. Naturw. Klasse (1960) 163-204 </li> <li> S.A. Huq, Commutator, nilpotency and solvability in categories, Quart. J. Math. Oxford (2)19 (1968) 363-389 </li> <li> M. Huek, Productivity of properties of topological spaces, Topology Appl. 44 (1992) 189-196 </li> <li> G. Janelidze, Internal categories in Mal’cev varieties, Preprint York Univ. in Toronto (1990) </li> <li> G. Janelidze, L. Márki, W. Tholen, Semi-abelian categories, J. Pure Appl. Alg. 168 (2002) 367-386 </li> <li> G. Janelidze, M. C. Pedicchio, Pseudogroupoids and commutator theory, Theory Appl. Categories 8 (2001) 405-456 </li> <li> P.T. Johnstone, Topos theory, London Math. Soc. Monographs 10, Aca- demic Press (1977) </li> <li> P.T. Johnstone, <a class="existingWikiWord" href="/nlab/show/Stone+space">Stone space</a>s, Cambridge Univ. Press (1982) </li> <li> P. T. Johnstone, Affine categories and naturally Mal’cev categories, J. Pure Appl. Alg. 61 (1989) 251-256 </li> <li> P. T. Johnstone, The closed subgroup theorem for localic herds and pre- groupolds, J. Pure Appl. Alg. 70 (1991) 97-106 </li> <li> P. T. Johnstone, <a class="existingWikiWord" href="/nlab/show/Sketches+of+an+Elephant">Sketches of an Elephant</a>: A Topos Theory Compendium, Vol. 1, 2, Oxford University Press, 2002 </li> <li> Peter Johnstone, A note on the semiabelian variety of Heyting semilattices, in: Galois theory, Hopf algebras, and semiabelian categories, 317–318, Fields Inst. Commun. 43, Amer. Math. Soc. 2004, <a href="http://www.ams.org/mathscinet-getitem?mr=2075591">MR2006a:18003</a> </li> <li> P. T. Johnstone and M. C. Pedicchio, Remarks on continuous Mal’cev algebras, Rend. Univ. Trieste (1995) 277-297 </li> <li> B. Jónsson and A. Tarski, Direct decompositions of finite algebraic systems, Notre Dame Mathematical Lectures, Notre Dame, Indiana (1947) </li> <li> A. Kock, The algebraic theory of moving frames, Cahiers Top. Géom. Diff. Catégoriques 23 (1982) 347-362 </li> <li> A. Kock, Generalized fibre bundles, Springer Lect. Notes in Math. 1348 (1988) 194-207 </li> <li> A. Kock, Fibre bundle in general categories, J. Pure Appl. Alg. 56 (1989) 233–245 </li> <li> A. G. Kurosh, Direct decompositions in algebraic categories (Russian), Trudy Mosk. Mat. Obščestva. 8 (1959) 391-412 </li> <li> F.W. Lawvere, Functorial semantics of algebraic theories, Proc. Nat. Acad. Sci. U.S.A. 50 (1963) 869-873 </li> <li> F.W. Lawvere, R. Rosebrugh, Sets for mathematics, Cambridge University Press (2002) </li> <li> F.W. Lawvere, S.H. Schanuel, Conceptual Mathematics, Buffalo Workshop preprint (1994) </li> <li> F.E.J. Linton, An outline of functorial semantics, Spinger Lect. Notes Math. 80 (1969) 7–52 </li> <li> F.E.J. Linton, Applied functorial semantics, Springer LNM 80 (1969) 53-74 </li> <li> S. Mac Lane, Homology, Springer Verlag (1963) </li> <li> S. Mac Lane, Categories for the working mathematician, 2nd edition, Springer Verlag (1998) </li> <li> S. Mac Lane, I. Moerdijk, <a class="existingWikiWord" href="/nlab/show/Sheaves+in+Geometry+and+Logic">Sheaves in Geometry and Logic</a>, Universitext, Springer Verlag (1992) </li> <li> A. I. Mal’cev, On the general theory of algebraic systems, Mat. Sbornik N. S. 35 (1954) 3-20 </li> <li> G. Orzech, Obstruction theory in algebraic categories, I and H, J. Pure Appl. Alg. 2 (1972) 287-340 </li> <li> M. C. Pedicchio, Maltsev categories and Maltsev operations, J. Pure Appl. Alg. 98 (1995) 67-71 </li> <li> M. C. Pedicchio, A categorical approach to commutator theory, J. Algebra 17’7’ (1995) 647-657 </li> <li> M. C. Pedicchio, Arithmetical categories and commutator theory, Appl. Categorical Structures 4 (1996) 297-305 </li> <li> R.S. Pierce, Modules over commutativc regular rings, Mere. Am. Math. Soc. 70 (1967) </li> <li> A. F. Pixley, Distributivity and permutability of congruences in equational classes of algebras, Proc. Amer. Math. Soc. 14 (1963) 105-109 </li> <li> J. D. H. Smith, Mal’cev varieties, Springer Lect. Notes in Math. 554 (1976) </li> <li> J. D. H. Smith, Centrality, Abstract of the Amer. Math. Soc. I (1980) 774-821 </li> <li> J. D. H. Smith, On the characterization of Maltsev and Jdnsson-Tarski algebras, Preprint Iowa State Univ. (2001) </li> <li> M. S. Tsalenko, Correspondences over a quasi-exact category (Russian), Mat. Sbornik 73 (1967) 564-584 </li> <li> A. Ursini, On subtractive varieties, I, Algebra Universalis 31 (1994) 204-222 </li> <li> A. Ursini, On subtractive varieties, V: congruence modularity and commutators, Algebra Universalis 43 (2000) 51-78 </li> <li> V.V. Uspenskii, The Mal’tsev operation on countably compact spaces, Comment. mat. Univ. Carolinæ 30 (1989) 395-402 </li> </ol> <div class="property">category: <a class="category_link" href="/nlab/all_pages/reference">reference</a></div></body></html> </div> <div class="revisedby"> Last revised on September 22, 2021 at 09:39:37. See the <a href="/nlab/history/Malcev%2C+protomodular%2C+homological+and+semi-abelian+categories" style="color: #005c19">history</a> of this page for a list of all contributions to it. </div> <div class="navigation navfoot"> <a href="/nlab/edit/Malcev%2C+protomodular%2C+homological+and+semi-abelian+categories" accesskey="E" class="navlink" id="edit" rel="nofollow">Edit</a><a href="https://nforum.ncatlab.org/discussion/13502/#Item_2">Discuss</a><a href="/nlab/revision/Malcev%2C+protomodular%2C+homological+and+semi-abelian+categories/9" accesskey="B" class="navlinkbackintime" id="to_previous_revision" rel="nofollow">Previous revision</a><a href="/nlab/show/diff/Malcev%2C+protomodular%2C+homological+and+semi-abelian+categories" accesskey="C" class="navlink" id="see_changes" rel="nofollow">Changes from previous revision</a><a href="/nlab/history/Malcev%2C+protomodular%2C+homological+and+semi-abelian+categories" accesskey="S" class="navlink" id="history" rel="nofollow">History (9 revisions)</a> <a href="/nlab/show/Malcev%2C+protomodular%2C+homological+and+semi-abelian+categories/cite" style="color: black">Cite</a> <a href="/nlab/print/Malcev%2C+protomodular%2C+homological+and+semi-abelian+categories" accesskey="p" id="view_print" rel="nofollow">Print</a> <a href="/nlab/source/Malcev%2C+protomodular%2C+homological+and+semi-abelian+categories" id="view_source" rel="nofollow">Source</a> </div> </div>  </div>  </body> </html>