Commit 2020-07-03 00:22 6a49975f
View on Github →feat(category_theory/limits): fully faithful functors reflect limits and colimits (#3269) A fully faithful functor reflects limits and colimits
feat(category_theory/limits): fully faithful functors reflect limits and colimits (#3269) A fully faithful functor reflects limits and colimits