Holmstrom Fiber sequence

Let CC be a Pointed model category. A fiber sequence in HoCHo \ C is a diagram XYZX \to Y \to Z in HoCHo \ C together with a right action of ΩZ\Omega Z on XX that is IMic in HoCHo \ C to a diagram of the form FiEpBF \displaystyle_{\longrightarrow}^{\ i} E \displaystyle_{\longrightarrow}^{\ p} B where pp is a fibration of fibrant objects in CC with fiber ii and where FF has the standard right action by ΩB\Omega B.

To a fiber sequence one can associate a boundary map :ΩZX\partial: \Omega Z \to X. See Hovey p. 156.

Fiber sequences have properties dual to those of a Cofiber sequence

nLab page on Fiber sequence

Created on June 9, 2014 at 21:16:13 by Andreas Holmström