If is an inclusion of chain complexes in an additive category , the quotient chain complex is a cofibre of in the (discrete) category . Hence
(Recall that admits pushouts.)
Created on October 27, 2014 at 16:26:18. See the history of this page for a list of all contributions to it.