Commit 2024-03-04 10:09 1095e9af
View on Github →feat(CategoryTheory/Limits/Shapes/Biproducts): functoriality of bicones is full and faithful (#11130)
This follows the API pattern set by Cone
and Cocone
.
This also renames CategoryTheory.Limits.Cones.functorialityFaithful
to CategoryTheory.Limits.Cones.functoriality_faithful
to match the corresponding Cocone
instance.