Homological algebra has the reputation of being the theory of abstract notions and lengthy complex constructions. Generalized morphism is a computer friendly notion which turns many of these constructions into simple closed formulas, easily implementable on a computer. I will demonstrate two applications of constructive spectral sequences.
Partially supported by the Department of Algebra and P12-FQM-2696: Proyecto de Excelencia de la Junta de Andalucía. This talk is coorganised with IMUS.