Algebraic models for homotopy types

DOI10.4310/HHA.2005.v7.n2.a8zbMath1088.55006arXivmath/0311509MaRDI QIDQ2570233

Francis Sergeraert, Julio Jesús Rubio García

Publication date: 27 October 2005

Published in: Homology, Homotopy and Applications (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/0311509

zbMATH Keywords

homotopy type\(k\)-invariantcomputable modeleffective homology

Mathematics Subject Classification ID

Spectral sequences, hypercohomology (18G40) Classification of homotopy type (55P15) Postnikov systems, (k)-invariants (55S45)

Related Items

Computing All Maps into a Sphere ⋮ Computational homology of \(n\)-types ⋮ Extendability of continuous maps is undecidable ⋮ Homotopical and combinatorial aspects of the theory of normal series in groups. ⋮ Computing all maps into a sphere ⋮ Computing simplicial representatives of homotopy group elements

Uses Software

• Kenzo

This page was built for publication: Algebraic models for homotopy types