Holmstrom Pointed category

A category (e.g. a model category) is pointed if the morphism from the initial to the terminal object is an isomorphism.

For any model category CC, the corresponding category under the terminal object is a pointed model category C *C_*, and there is a faithful, but not full, embedding CC *C \to C_*.

One could also consider similar constructions of model structures on the category under (or over) any object AA.

nLab page on Pointed category

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