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!