7 Jul
2012
7 Jul
'12
12:55 a.m.
Shoot, I overlooked that. Thanks, Ondrej On 6 Jul 2012, at 14:00, Jeff Egger <jeffegger@yahoo.ca> wrote:
Before I tuck in, am I likely to find a definition in terms of a colimit?
Sure. It's the pushout of C_0xD <--- C_0xD_0 ---> CxD_0, where C_0 denotes the discrete category with the same class of objects as C. Or did you have something else in mind? Mark Weber's paper is likely contain a much more profound answer to this question.
Cheers, Jeff.
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]