Commit 2023-08-06 06:23 a1293cea
View on Github →feat: duality results for the right homology of short complexes (#6227) This PR shows duality results for left and right homology of short complexes. From the corresponding result for left homology, it is deduced that a morphism of short complexes which is epi on the left object, iso on the middle object and mono on the right object induces an isomorphism in right homology.