Effective homotopy of fibrations

DOI10.1007/S00200-012-0168-6zbMATH Open1253.55011OpenAlexW1969524881MaRDI QIDQ714654FDOQ714654

Authors: Ana Romero, Francis Sergeraert 

Publication date: 11 October 2012

Published in: Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00200-012-0168-6

Recommendations

• Publication:4721240
• Effective algebraic topology
• scientific article; zbMATH DE number 4050573
• An implementation of effective homotopy of fibrations
• scientific article; zbMATH DE number 3984106

zbMATH Keywords

spectral sequencefibrationshomotopy groupsconstructive algebraic topology

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Homotopy groups, general; sets of homotopy classes (55Q05) Spectral sequences in algebraic topology (55T99)

Cites Work

• Homotopy limits, completions and localizations
• On the non-existence of elements of Hopf invariant one
• Title not available (Why is that?)
• Groupes d'homotopie et classes de groupes abéliens
• Title not available (Why is that?)
• The computability problem in algebraic topology
• Constructive algebraic topology
• Finite computability of Postnikov complexes
• Computing the first stages of the Bousfield-Kan spectral sequence

Cited In (16)

• Computing simplicial representatives of homotopy group elements
• Effective homology for homotopy colimit and cofibrant replacement.
• Polynomial-time computation of homotopy groups and Postnikov systems in fixed dimension
• Computing the homology of groups: the geometric way.
• Title not available (Why is that?)
• Simplicial fibrations
• Rational homotopy type and computability
• Title not available (Why is that?)
• Using membrane computing for effective homology
• Title not available (Why is that?)
• A Bousfield-Kan algorithm for computing the \textit{effective} homotopy of a space
• Effective homological computations on finite topological spaces
• Examples and cofibrant generation of effective Kan fibrations
• A combinatorial tool for computing the effective homotopy of iterated loop spaces
• An implementation of effective homotopy of fibrations
• Effective Kan fibrations in simplicial sets

Uses Software

• Kenzo

This page was built for publication: Effective homotopy of fibrations

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