- 76 Downloads
This chapter introduces the concept of protomodular category. In this context, there is an intrinsic notion of normal subobject which, as everybody knows, plays an essential role in algebra. Any protomodular category with finite limits is Mal’cev. It will again appear that the fibration of points classifies the notion of protomodular category, but this time in terms of properties of the change of base functors instead of properties of the fibres.
Unable to display preview. Download preview PDF.