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/ ]