تقرير
On the naturalness of Mal'tsev categories
| العنوان: | On the naturalness of Mal'tsev categories |
|---|---|
| المؤلفون: | Bourn, Dominique, Gran, Marino, Jacqmin, Pierre-Alain |
| المصدر: | in : "Joachim Lambek: the interplay of Mathematics, Logic and Linguistics", Outstanding Contributions to Logic, Vol. 20, Eds. C. Casadio and P. Scott, Springer, 59-104, 2021 |
| سنة النشر: | 2019 |
| المجموعة: | Mathematics |
| مصطلحات موضوعية: | Mathematics - Category Theory, Mathematics - Rings and Algebras |
| الوصف: | Mal'tsev categories turned out to be a central concept in categorical algebra. On one hand, the simplicity and the beauty of the notion is revealed through a lot of characterizations of different flavour. Depending on the context, one can define Mal'tsev categories as those for which `any reflexive relation is an equivalence'; `any relation is difunctional'; `the composition of equivalence relations on a same object is commutative'; `each fibre of the fibration of points is unital' or `the forgetful functor from internal groupoids to reflexive graphs is saturated on subobjects'. For a variety of universal algebras, these are also equivalent to the existence in its algebraic theory of a Mal'tsev operation, i.e. a ternary operation $p(x,y,z)$ satisfying the axioms $p(x,x,y)=y$ and $p(x,y,y)=x$. On the other hand, Mal'tsev categories have been shown to be the right context in which to develop the theory of centrality of equivalence relations, Baer sums of extensions, and some homological lemmas such as the denormalized $3 \times 3$ Lemma, whose validity in a regular category is equivalent to the weaker `Goursat property', which has also turned out to be of wide interest. Comment: This article will appear in a special volume dedicated to Joachim Lambek. This is the revised version where some minor misprints have been corrected |
| نوع الوثيقة: | Working Paper |
| DOI: | 10.1007/978-3-030-66545-6 |
| URL الوصول: | http://arxiv.org/abs/1904.06719 |
| رقم الأكسشن: | edsarx.1904.06719 |
| قاعدة البيانات: | arXiv |
| DOI: | 10.1007/978-3-030-66545-6 |
|---|