24 Nov
2005
24 Nov
'05
3:55 p.m.
Is there an accepted terminology for semigroups with many objects, i.e. gadgets that satisfy the all the axioms satisfied by categories excepting those which refer to identities ? Thanks Carl Futia