deformation retract for the enrichment

A *deformation retract for the enrichment* of a category $C$ enriched over a closed monoidal homotopical category $V$ is a deformation retract of a homotopical category for the two-variable adjunction

(power, copower, internal hom) : $V \times C \to C$

satisfying a bunch of extra conditions.

This is [definition 16.1, p. 46] in Shulman: Homotopy limits and colimits and enriched homotopy theory

Last revised on November 18, 2009 at 12:11:57. See the history of this page for a list of all contributions to it.