Commit 2020-06-27 18:19 247fe80d
View on Github →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.
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.