The model structure on sSet for quasi-categories (the Joyal model structure) is not enriched over sSet with the Quillen model structure, so ordinary internal Hom of simplicial sets is not a correct homotopy function complex of quasi-categories. We can give a correct definition using either cosimplicial or simplicial resolutions, which can be defined by the small object argument as usual. But we can give a more explicit description of such resolutions.

For example, we can define a cosimplicial frame on the terminal simplicial set by taking nerves of groupoids $\{ 0 \simeq \ldots \simeq n \}$. Then a cosimplicial frame on a simplicial set can be defined as the cartesian product with this cosimplicial object. This construction can be found, for example, in [1].

The problem with this construction is that it produces too large function complex. For example, a 1-simplex of $\mathrm{hMap}(\Delta^0,X)$ is a 1-simplex of $X$ together with an inverse and higher simplices that guarantee that they are inverses. It seems that there should be a definition of a homotopy function complexes such that 1-simplices in the example above are just 1-simplices of $X$ which are equivalences.

The obvious way to define such homotopy function complex is to take the largest Kan complex contained in the internal Hom. It seems that we also can define a simplicial resolution which produces the same homotopy function complex. Can we construct homotopy function complexes in such a way? Were such constructions described in the literature?

[1] *Daniel Dugger and David I. Spivak*, MR 2764043 **Mapping spaces in quasi-categories**, *Algebr. Geom. Topol.* **11** (2011), no. 1, 263--325.