Department of
Applied
Mathematics

Constructive Algebraic Topology

Francis Sergeraert

Univ. Grenoble

Abstract

Classical algebraic topology is *not* constructive: most often the existence results *do_not* exhibit an object satisfying the required properties. Making constructive Algebraic Topology curiously uses more elementary methods, often more powerful than the standard exact and spectral sequences. Concretely using these methods essentially needs Functional Programming. We propose a short survey of this problem and our solution.