# mathlibdocumentation

category_theory.limits.shapes.functor_category

# If D has finite (co)limits, so do the functor categories C ⥤ D. #

These are boiler-plate instances, in their own file as neither import otherwise needs the other.

@[protected, instance]
def category_theory.limits.functor_category_has_finite_limits {C : Type u₁} {D : Type u₂}  :
@[protected, instance]
def category_theory.limits.functor_category_has_finite_colimits {C : Type u₁} {D : Type u₂}  :