mathlib3

afff1f24 - feat(category_theory/adhesive): Adhesive categories (#17494)