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.
Fixed/clarified the notation in the definition of local objects in a model category. Added references.
Also added references to (infinity,1)-categorical hom-space in that context.
I have added the proposition characterization of S-local cofibrations and added the proof for one direction of the statement, following HTT.
Numerous changes including in the idea section, references and especially about saturation. There are two kinds of saturation which coincide in reflective case; the theory of saturation and local objects is however interesting beyond the reflective case. Gabriel-Zisman talk about ā(left-)closed objects for Sā for the same notion; this terminology is still widely used in localization of abelian categories.
1 to 3 of 3