nLab
Wall's finiteness obstruction

Contents

Idea

The compact objectsin ∞Grpd are the retracts of finite homotopy types (finite CW-complexes). Not every such retract is itself a finite homotopy type; the vanishing of Wall’s finiteness obstruction is a necessary and sufficient condition for this to happen.

References

Last revised on March 16, 2015 at 19:58:15. See the history of this page for a list of all contributions to it.