mathlib3

18a42f3f - feat(src/category_theory/*): Yoneda preserves limits. (#9580)

feat(src/category_theory/*): Yoneda preserves limits. (#9580) Shows that `yoneda` and `coyoneda` preserves and reflects limits. Co-authored-by: erdOne <36414270+erdOne@users.noreply.github.com>