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

Revised on November 18, 2009 12:11:57 by Toby Bartels (173.60.119.197)