[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