monomorphism mirrored by pushouts in a regular category
1.
Proposition
2.
Proof
todo:
https://ncatlab.org/nlab/files/Selick_HomologicalAlgebra.pdf
Date: nil
Author: Anton Zakrewski
Created: 2024-10-14 Mo 09:14