Report copyright - THE LOCAL JOYAL MODEL STRUCTURE · Thus, since hom(K; ) preserves Joyal equivalences, Jhom(K;X) !Jhom(K;Y) is a Joyal equivalence for all nite simplicial sets K. By Lemma1.3, ˇ(Jhom(K;X))
Please pass captcha verification before submit form