According to [this page](http://ncatlab.org/nlab/show/Yoneda+lemma+for+(infinity,1)-categories) on the nLab, it is currently unclear whether or not the entire Yoneda lemma generalizes to $(\infty ,1)$-categories rather than just the Yoneda embedding. Have there been counterexamples to the stronger statement? If not, what complications are there in generalizing the entire Yoneda lemma? The whole lemma is a very powerful tool in ordinary category theory, and if there is no definitive answer, are there any reasons to believe that the generalization should or shouldn't be true?


By the "entire" Yoneda lemma, I mean the isomorphism $F(X)\cong Nat(h\_X,F)$



The Yoneda Lemma for $(\infty,1)$-categories?
Here is a (tautological) proof in the setting of quasi-categories. Let $A$ be a quasi-category. In ordinary category theory, one can describe the category of presheaves of sets over small category $C$ as the full subcategory of $Cat/C$ spanned by Grothendieck fibrations wih discrete fibers. A quasi-category version would consist to say that a presheaf over a quasi-category $A$ is a Grothendieck fibration (cartesian fibration in Lurie's terminology), whose fibers are $\infty$-groupoids (this the way of being discrete in the higher setting). Such fibrations are simply the right fibrations.


More precisely, a model for the theory of presheaves (or $\infty$-stacks) over $A$ is the model category of simplicial sets over $A$, in which the fibrant objects are right fibrations $X\to A$, while the cofibrations are the monomorphisms. The weak equivalences between two right fibrations over $A$ are simply the fiberwise categorical equivalence (for the different models for the theory of stacks over a quasi-category, see §5.1.1 in Lurie's book). From this point of view, the representable stacks over $A$ are the right fibrations $X\to A$ such that $X$ has a terminal object. If $a$ is an object ($0$-cell) of $A$, there is a canonical right fibration $A/a \to A$ (from the general theory of joins): this is the representable stack associated to $a$. You can also construct a model of $A/a$ by taking a fibrant replacement of the map $a:\Delta[0]\to A$ (seen as an object of $SSet/A$). This model category has the good taste of being a simplicial model category. In particular, you have a simplicially enriched Hom, which I will denote here by $Map\_A$, and which can be described as follows. If $X$ and $Y$ are two simplicial sets over $A$, there is a simplicial set $Map\_A(X,Y)$ of maps from $X$ to $Y$ over $A$: if $\underline{Hom}$ is the internal Hom for simplicial sets, then $Map\_A(X,Y)$ is simply the fiber of the obvious map $\underline{Hom}(X,Y)\to\underline{Hom}(X,A)$ over the $0$-cell corresponding to the structural map $X\to A$. If $Y$ is fibrant (i.e. $Y\to A$ is a right fibration), then $Map\_A(X,Y)$ is a Kan complex (because it is the fiber of a right fibration, hence of a conservative inner Kan fibration), which is the mapping space of maps from $X$ to $Y$ for this model structure on $Sset/A$. $Map\_A$ is a Quillen functor in two variables with value in the usual model category of simplicial sets.


If $a$ is an object of $A$, seen as a map $a: \Delta[0]\to A$, i.e. as an object of $SSet/A$, then for any right fibration $F\to A$, we see that $Map\_A(a,F)$ is isomorphic to $F\_a$, that is the fiber of the map $F\to A$ at $a$ (which is also an homotopy fiber for the Joyal model structure). Considering the weak equivalence from $a: \Delta[0]\to A$ to $A/a\to A$, we also have a weak equivalence of Kan complexes


$$Map\_A(A/a,F)\overset{\sim}{\to}Map\_A(a,F)=F\_a\, .$$


This gives the full Yoneda lemma.


