mathlib3

7b5b3858 - chore(category_theory): generalize universes for preserves_finite_limits