feat(category_theory/cones): cone functoriality is fully faithful (#3202)
feat(category_theory/cones): cone functoriality is fully faithful (#3202)

The functors `cones.functoriality` and `cocones.functoriality` are fully faithful if the transformation functor is as well.



leanprover-community/mathlib,leanprover-community/mathlib