Covariant representables preserve limits

ID: covariant-representables-preserve-limits

A representable functor preserves every small categorical limit that exists. A map from into a limit is exactly a compatible family of maps from to the diagram objects, and such a family is exactly an element of the corresponding limit of sets. The comparison bijection is the one induced by the limit projections.

New to topics? Read the docs here!