nLab
effective homology

Context

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Constructivism, Realizability, Computability

Contents

Idea

What is called effective homology is the study of (effective) algorithms for computing invariants in algebraic topology, such as homology groups but also homotopy groups.

References

  • Francis Sergeraert, Effective homology, a survey (pdf)

Last revised on March 2, 2014 at 03:22:33. See the history of this page for a list of all contributions to it.