# nLab effective homology

cohomology

### Theorems

#### Constructivism, Realizability, Computability

intuitionistic mathematics

# 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.