An implementation of effective homotopy of fibrations

DOI10.1016/J.JSC.2018.08.001MaRDI QIDQ2422709zbMATH OpenOpenAlexWikidataFDO

Authors Ana Romero, Francis Sergeraert, Julio Rubio

Publication date 20 June 2019

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jsc.2018.08.001

zbMATH Keywords

central extensionsconstructive algebraic topologyeffective homotopyeffective setoid groupsfibrationsfinitely generated groupshomotopy groupsSerre exact sequencesetoid groups

Mathematics Subject Classification ID

Fiber spaces in algebraic topology (55R05) Symbolic computation and algebraic computation (68W30)

Recommendations

• Effective homotopy of fibrations
• Algebraic models for homotopy types
• scientific article; zbMATH DE number 3994552
• A new Kenzo module for computing the Eilenberg-Moore spectral sequence
• Constructive algebraic topology

Cites work

• A Bousfield-Kan algorithm for computing the \textit{effective} homotopy of a space
• A Brief Overview of Agda – A Functional Language with Dependent Types
• A combinatorial tool for computing the effective homotopy of iterated loop spaces
• Computational homology
• Constructive algebraic topology
• Effective algebraic topology
• Effective homotopy of fibrations
• Finite computability of Postnikov complexes
• Groupes d'homotopie et classes de groupes abéliens
• Homologie singulière des espaces fibrés. Applications
• Homotopy groups of suspended classifying spaces: an experimental approach
• Homotopy limits, completions and localizations
• Homotopy type theory. Univalent foundations of mathematics
• scientific article; zbMATH DE number 3935317 (Why is no real title available?)
• scientific article; zbMATH DE number 3264757 (Why is no real title available?)
• Stable homotopy groups of spheres. A computer-assisted approach
• The computability problem in algebraic topology

Cited in

(3)

• Effective homological computations on finite topological spaces
• scientific article; zbMATH DE number 3994552 (Why is no real title available?)
• Effective homotopy of fibrations

Describes a project that uses

Uses Software

• Kenzo
• cubicaltt
• Agda

This page was built for publication: An implementation of effective homotopy of fibrations

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