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.
Articles by others on the same topic
There are currently no matching articles.