Limit-preserving functor
= Limit-preserving functor
Relative to a specified class of diagram shapes, a functor preserves limits when it takes each existing <categorical limit> cone of those shapes to a <categorical limit> cone. The usual completeness and <general adjoint functor theorem> hypotheses refer to small shapes; a possibly large diagram requires an explicit preservation hypothesis covering its shape.