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.

Estimated changes