chore(category_theory/sites/limits): generalise universe level (#16408)
chore(category_theory/sites/limits): generalise universe level (#16408)






leanprover-community/mathlib,leanprover-community/mathlib