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