Commit 2023-08-06 06:23 0b36c905
View on Github →feat: basic results about preservation of kernels/cokernels (#6279) This PR shows basic results about the preservation of (limit) kernels forks by functors which preserve zero morphisms.
feat: basic results about preservation of kernels/cokernels (#6279) This PR shows basic results about the preservation of (limit) kernels forks by functors which preserve zero morphisms.