Mal'cev categories and fibration of pointed objects (Q1923806): Difference between revisions

Let \({\mathcal E}\) be a category with finite limits, \({\mathcal E}\) is Mal'cev if any reflexive relation in it is an equivalence relation, and is naturally Mal'cev if it is equipped with a natural ternary Mal'cev operation. The fibration of pointed objects of \({\mathcal E}\) is the fibred codomain functor \(p_{\mathcal E}:{\mathcal P}t({\mathcal E})\to{\mathcal E}\) where \({\mathcal P}t({\mathcal E})\) is the category of split epimorphisms of \({\mathcal E}\) with a given section. The author proves that many properties of reflexive relations or graphs in \({\mathcal E}\) are equivalent to some properties of the fibration \(p_{\mathcal E}\). For instance \({\mathcal E}\) is Mal'cev \(\Leftrightarrow p_{\mathcal E}\) is unital \(\Leftrightarrow p_{\mathcal E}\) has a descent property; \({\mathcal E}\) is naturally Mal'cev \(\Leftrightarrow p_{\mathcal E}\) is additive; \({\mathcal E}\) is protomodular \(\Leftrightarrow p_{\mathcal E}\) has conservative change of base; etc.