Co-Invertors in the category of CoComplete categories

25 Nov 2002

      Is anyone aware of an explicit description of the coinvertor of a diagram
           ->
[R^op,Set] -> [C^op,Set]

in CoComp (the two arrows are f,g, and there is a natural transofrmation,
\alpha:f->g, to be coinverted). C,R are small categories, and the category
CoComp is the category of (small) cocomplete categories.

Thank you, Christopher Townsend
(Open University)

25-Nov-2002 14:56:54 -0400,1581;000000000000-00000000