Limit-reflecting functor
= 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.