Essentially affine categories
We used the example of groups as a guideline to extract the notion of protomodular category and we gave evidence that protomodularity makes also perfect sense in a non pointed context. The idea has been to investigate the properties of the fibration of points which, in the pointed case, characterize the validity of the short five lemma, and to take these as a definition of protomodularity.
Unable to display preview. Download preview PDF.