20 Feb
1992
20 Feb
'92
4:38 a.m.
To make my remark, ("I think a regular epi has always been an epi that appears as a coequalizer") compatible with Mike Barr's proposed definition just understand the word "coequalizer" to allow the case of a (joint) coequalizer of a family of pairs of maps. =========================================================================