Group-like structures in categories (1962)

by B Eckmann, P Hilton