25 Nov
2002
25 Nov
'02
5:06 p.m.
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