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