[FOM] Final object as colimit

Robert L Knighten RLK at knighten.org
Thu Jan 10 00:52:04 EST 2008


Andre.Rodin at ens.fr writes:
 > Selon Messing <messing at math.umn.edu>:
 > 
 > > First a minor point, a final object in a category C is not a colimit,
 > > but rather a limit over the empty category.
 > 
 > sure, I didn't mean a final object is a colimit but just put my question for
 > both limits and colimits.

While a final object as a limit over the empty category does seem the most
natural perspective, a final object in a category C is also the colimit of the
identity functor on C.

-- Bob

-- 
Robert L. Knighten
RLK at knighten.org


More information about the FOM mailing list