nLab deformation retract for the enrichment

Definition

A deformation retract for the enrichment of a category CC enriched over a closed monoidal homotopical category VV is a deformation retract of a homotopical category for the two-variable adjunction

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

satisfying a bunch of extra conditions.

References

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.