A categorical cone is a categorical limit precisely when is a bijection for every object . This is exactly the universal property expressed as a test on hom-sets. Consequently a functor preserves existing categorical limits if every composite with a covariant representable functor does.
Articles by others on the same topic
There are currently no matching articles.