nLab
Wall's finiteness obstruction

Contents

Contents

Idea

The compact objects in ∞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 8, 2020 at 16:17:27. See the history of this page for a list of all contributions to it.