Finite-limit-preserving set-valued functor

ID: finite-limit-preserving-set-valued-functor

A functor is finite-limit-preserving if it carries each finite limit cone to a limiting cone. When is a small category with finite limits, this is equivalent to being a filtered colimit in a category of covariant representable functors, and to the opposite of its category of elements being a filtered category. It is also equivalent to every comma category having finite limits, for all sets .

New to topics? Read the docs here!