Re: Question on terminology

lamarche wrote:

Is there a standard accepted name for categories all whose morphisms are both epi and mono?

...

Another possiblility would be "cancellation categories" (they have both the left and right cancellation property), but I'm not sure I like this one.

I believe that the usual term in monoid theory would be "cancellative monoid" (not "cancellation monoid"). Google gets relevant hits for "cancellative category", although that might not appeal to you any better. --Toby [For admin and other information see: http://www.mta.ca/~cat-dist/ ]