9 Oct
2006
9 Oct
'06
10:14 a.m.
Dear categorists, I have a proof that the indiscrete category functor Set -> Cat preserves reflexive coequalizers which, although straightfoward, uses the explicit description of colimits in Cat. Is this necessary, or can I deduce the result from general principles? [Also, I'm sure this result must appear somewhere but I can't find a reference for it. If anyone knows of one, I'd be grateful.] Many thanks, Richard