Limit-reflecting functor

For a specified diagram shape, a functor reflects categorical limits when a cone over a diagram is limiting whenever its image is limiting. This condition tests an existing categorical cone. It does not assert that every limiting categorical cone in the codomain has a lift.

A functor creates categorical limits of a specified shape when every given limiting categorical cone over an image diagram uniquely lifts to a categorical cone over the original diagram, and the lift is limiting. This is stronger than just being a limit-reflecting functor. Forgetting arrows from a functor category creates its pointwise limits in a functor category.