A case study of A_-structure

DOI10.1515/GMJ.2010.003MaRDI QIDQ3563377zbMATH OpenOpenAlexFDO

Authors Ainhoa Berciano, Francis Sergeraert, Julio Rubio

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

loop spaceEilenberg-Moore spectral sequenceSerre spectral sequenceconstructive algebraic topology\(A\)-infinitycomputer program Kenzo

Mathematics Subject Classification ID

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

Recommendations

• A computational approach of \(A_{\infty }\)-(co)algebras
• Algebraic models for homotopy types
• Koszul A_∞-algebras and free loop space homology
• Constructive algebraic topology
• Blackbox computation of \(A_\infty\)-algebras.

Cited in

(4)

• fKenzo: a user interface for computations in algebraic topology
• Searching high order invariants in computer imagery
• A computational approach of \(A_{\infty }\)-(co)algebras
• A degeneracy criterion for \(A_{\infty}\)-structures

Describes a project that uses

Uses Software

• Kenzo

This page was built for publication: A case study of \(A_{\infty}\)-structure

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3563377)