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.
added to (infinity,1)-category of (infinity,1)-presheaves a section on how it is the free (oo,1)-cocompletion
expanded also the subsection on Models.
added Dugger’s model category theoretic version of the free cocompletion property of (oo,1)-ptesheaves to (oo,1)-Category of (oo,1)-presheaves – Free cocompletion.
Copied the same also into the reference article Universal homotopy theories
added in the free co-completion section the details of the proof of Dugger’s model-category theoretic version of exhibiting the (oo,1)-category of (oo,1)-presheaves as the free co-completion.
1 to 4 of 4