Desde el punto de vista de teoría de categorías tenemos la categoría de complejos de cadenas y los cadeno-morfismos.