Group-like structures in general categories I (1962)

by B Eckmann, P J Hilton