Obstruction theory in a model category and Klein and Williams’ intersection invariants

Abstract

We give an obstruction theory for lifts and extensions in a model category inspired by Klein and Williams’ work on intersection theory. In contrast to the familiar obstructions from algebraic topology, this theory produces a single invariant that is complete in the presence of the appropriate generalizations of dimension and connectivity assumptions.