Limit-preserving functor

ID: 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.

New to topics? Read the docs here!