This package develops new data types and routines for homological algebra. Eventually, it will replace the current facilities for homological algebra. We are making this available in order to get feedback from users before making this change. Please email the authors with any and all comments or suggestions.
The overarching goal is to make all of the homological algebra routines functorial. For instance, we have canonical maps associated to kernels, cokernels, images, coimages, cones, and cylinders.
This documentation describes version 0.999995 of Complexes.