| http://www.w3.org/ns/prov#value | - The statement is a direct consequence of the sSet-enriched Yoneda lemma by using the fact that the (???,1)-category of (???,1)-presheaves PSh (???,1)(C)PSh_{(\infty,1)}(C) is modeled by the enriched functor category [C op,sSet] proj[C^{op}, sSet]_{proj} with CC regarded as a simplicially enriched category and using the global model structure on simplicial presheaves.
|
