Commit 2021-06-07 15:40 6e675366
View on Github →feat(category/limits): kernel.map (#7623) A generalization of a lemma from LTE, stated for a category with (co)kernels.
feat(category/limits): kernel.map (#7623) A generalization of a lemma from LTE, stated for a category with (co)kernels.