Normal functors and strong protomodularity. Bourn, Dominique (2000) Theory and Applications of Categories [electronic only]