mathlib

6787a8d9 - feat(category_theory): a hierarchy of balanced categories (#11856)