Preservation and reflection of (co)limits.

category_theory.limits.preserves_limit_of_preserves_limit_cone

If F preserves one limit cone for the diagram K, then it preserves any limit cone for K.

category_theory.limits.preserves_colimit_of_preserves_colimit_cocone

If F preserves one colimit cocone for the diagram K, then it preserves any colimit cocone for K.