Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I am splitting off homotopy category of a model category from model category. Have spelled out statement and proof of the localization construction there.
I have also added a section Derived functors spelling out statement and proof of some basic facts.
In the course of this I touched other relevant entries. For instance to Quillen adjunction I added the proof that the various equivalent ways to state the conditions are indeed equivalent. Still need to type out the analogue for Quillen equivalences.
added to the section on derived functors statement of the derived adjunction of a Quillen adjunction
replaced a bunch of long-winded phrases of the kind “objects that are both fibrant as well as cofibrant” by: bifibrant objects
1 to 4 of 4