19 Feb
1992
19 Feb
'92
5:38 p.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. =========================================================================