A case study of 𝐴∞-structure

DOI10.1515/GMJ.2010.003zbMath1196.18001OpenAlexW2742988384MaRDI QIDQ3563377

Francis Sergeraert, Ainhoa Berciano, Julio Jesús Rubio García

Publication date: 31 May 2010

Published in: gmj (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/gmj.2010.003

zbMATH Keywords

Eilenberg-Moore spectral sequenceloop spaceSerre spectral sequenceconstructive algebraic topology\(A\)-infinitycomputer program Kenzo

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to algebraic topology (55-04) Spectral sequences, hypercohomology (18G40) Loop spaces (55P35) Simplicial sets and complexes in algebraic topology (55U10) Spectra with additional structure ((E_infty), (A_infty), ring spectra, etc.) (55P43) Loop space machines and operads in algebraic topology (55P48) Software, source code, etc. for problems pertaining to category theory (18-04)

Related Items (2)

fKenzo: a user interface for computations in algebraic topology ⋮ Searching high order invariants in computer imagery

Uses Software

• Kenzo

This page was built for publication: A case study of 𝐴_∞-structure