25 Apr
2013
25 Apr
'13
9:04 a.m.
One option is "setoid". Best regards, David Roberts On Apr 25, 2013 7:38 AM, "Jean Bénabou" <jean.benabou@wanadoo.fr> wrote:
Dear all,
As many of you I presume, I have for ages, and very often, had to deal with categories which are both groupoïds and posets, or again which are equivalent to a discrete category. Is there a well established name for them?
Best regards, Jean
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]