Formal Definition
Given two closed model categories C and D, a Quillen adjunction is a pair
- (F, G): C D
of adjoint functors with F left adjoint to G such that F preserves cofibrations and trivial cofibrations or, equivalently by the closed model axioms, such that G preserves fibrations and trivial fibrations. In such an adjunction F is called the left Quillen functor and G is called the right Quillen functor.
Read more about this topic: Quillen Adjunction
Famous quotes containing the words formal and/or definition:
“Two clergymen disputing whether ordination would be valid without the imposition of both hands, the more formal one said, “Do you think the Holy Dove could fly down with only one wing?””
—Horace Walpole (1717–1797)
“The very definition of the real becomes: that of which it is possible to give an equivalent reproduction.... The real is not only what can be reproduced, but that which is always already reproduced. The hyperreal.”
—Jean Baudrillard (b. 1929)