mathlib
6a49975f - feat(category_theory/limits): fully faithful functors reflect limits and colimits (#3269)

Commit

5 years ago

feat(category_theory/limits): fully faithful functors reflect limits and colimits (#3269) A fully faithful functor reflects limits and colimits

Author

b-mehta

Parents