Categorias de Moore
In 1970, M. Gerstenhaber introduced in  a list of axioms defining Moore categories in
order to develop the Baer Extension Theory. The independence of the axioms is studied
and they are compared with more recent notions. Thus, a Moore category is a pointed,
strongly protomodular and Barr-exact category with cokernels. With Grp as a model,
the Baer sum of extensions is presented in a Moore category, without using all cokernels.
 M. Gerstenhaber, A categorical setting for the Baer extension theory, Proc. of Symposia
in Pure Mathematics 17, 50-64, Amer. Math. Soc., Providence 1970.
Areas of interest
(CMUC/Universidade do Algarve)
October 21, 2003