Package shh.homolalg

Interface Summary

ExactCategoryMorphism	An exact category is a category where every morphism f has a kernel morphism and a cokernel morphism, and furthermore has the following canonical factorization.
ExactCategoryObj	An object in an exact category.
Morphism	A morphism in a category.
Obj	An object in a category.

Class Summary

CochainCx	A bounded cochain complex with objects in an underlying exact category.
Qvsp	A Q-vector space--that is, a finite-dimensional vector space over the field Q of rational numbers.
QvspMorphism	A morphism of Qvsps.