Strongly protomodular categories
In chapter 3, we focused our attention on the theory of normal subobjects in a protomodular category. We are now going to turn our attention towards centrality and connected relations in the context of protomodular categories. This will lead us to emphasize a strong relationship between centrality and normality. Given a protomodular category ε, we shall investigate what are the normal subobjects in the protomodular slice categories ε/ X and in the pointed protomodular fibres Pt X (ε) of the fibration of points.
Unable to display preview. Download preview PDF.