mathlib3

7d9df50f - feat(category_theory): Internal categories, functors, and natural transformations