# Def category_theory.limits.preserves_limits_of_evaluation

#### Modification history

2022-08-09 06:40

src/category_theory/limits/functor_category.lean

feat(category_theory/limits): the constant functor preserves (co)limits (#15938)

Added category_theory.limits.preserves_limits_of_evaluationView on Github →