mathlib

8116851f - doc(category_theory): convert comments about universes to library note (#6748)