Commit 2021-05-07 04:59 154fda29
View on Github →feat(category_theory/subobjects): more about kernel and image subobjects (#7467) Lemmas about factoring through kernel subobjects, and functoriality of kernel subobjects.
feat(category_theory/subobjects): more about kernel and image subobjects (#7467) Lemmas about factoring through kernel subobjects, and functoriality of kernel subobjects.