Abstract
John McCleary insisted in his interesting textbook entitled “User’s guide to spectral sequences” on the fact that the tool “spectral sequence” is not in the general situation an algorithm allowing its user to compute the looked-for homology groups. The present article explains how the notion of “Object with Effective Homology” on the contrary allows the user to recursively obtain all the components of the Serre and Eilenberg–Moore spectral sequences, when the data are objects with effective homology. In particular the computability problem of the higher differentials is solved, the extension problem at abutment is also recursively solved. Furthermore, these methods have been concretely implemented as an extension of the Kenzo computer program. Two typical examples of spectral sequence computations are reported.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
