Are strict $\infty$-categories localized at weak equivalences a full subcategory of weak $\infty$-categories?

Question

One has a nice "folk" model structure on strict $\infty$-categories due to Yves Lafont, Francois Metayer and Krzysztof Worytkiewicz whose notion of weak equivalences seem to be the notion of weak equivalences for weak $\infty$-category (I.e. a weaker notion than the existence of a strict inverse).

This produces a weak $(\infty,1)$-category of strict $\infty$-categories. My question is: is it expected to be a full subcategory of the category of weak $\infty$-category ?

(Note: I know that strict infinity categories with strict functors between them do not form a full subcategory of weak infinity categories, what I'm asking here is different, essentially because in the model structure mentioned above not all objects are cofibrant)

I'm actually not sure we have satisfying model for general weak $\infty$-category, and I might prefer to avoid the sort of problems mentioned in this answer, so I'll be happy with an answer dealing with $(\infty,n)$-categories defined for exemple as $n$-fold segal spaces, Rezk $\Theta_n$ spaces, Ara $n$-quasicategories or any other reasonable model. Also an answer focusing on $\infty$-groupoid or $(\infty,1)$-category would already be interesting.

Also, as a side question, assuming this is indeed fully faithful, is there any known result about which are the $\infty$-categories (or maybe $\infty$-groupoids) that are representable by strict $\infty$-categories ?

Edit: Let me clarify a few things which from what I read in the comments where unclear.

From the model structure of Lafont, Metayer, Worytkiewicz one obtains a notion of weak $\infty$-functor between strict $\infty$-category: as every objects in this model structure is fibrant a weak functor (or a weak anafunctor) from $X$ to $Y$ is a morphism $\widetilde{X} \rightarrow Y$ from some cofibrant replacement $\widetilde{X}$ of $X$, and notion of natural isomorphism of weak functor as morphism $\widetilde{X} \rightarrow PY$ where $PY$ is the path object for $Y$ in this model structure.

One can chose a functorial cofibrant replacement to have something more canonical, or even a comonadic one in order to obtain associative composition, but the choice of the cofibrant replacement does not have any effects on the question I'm asking, and it is possible to formulate it without choosing ones.

My question can be formulated as: does it defines the correct set of equivalence class of weak functor between strict $\infty$-categories if one see these as weak $\infty$-categories (and more generally, the correct space of morphism if one push things a little further).

Also note that I'm only interested in the 'canonical' way of sending strict $\infty$-categories to weak $\infty$-category, by just forgeting their strictness.

I know there is ways to send strict $\infty$-categories to weak $\infty$-groupoids or weak $(\infty,1)$-categories by formally (weakly) inverting all arrows or all $k$-arrow for $k>0$ , but then the image by this construction functor is no longer a strict $\infty$-category, and this construction has absolutely no chance to be fully faithful (it will like asking if the geometric realization functor from categories to the homotopy category of spaces is fully faithful).

The construction I'm refering to has good chances to be fully faithful (which is what I'm asking) but is clearly not essentially surjective even on $\infty$-groupoids: the groupoids in its image have for example trivial whitehead products $\pi_2 \times \pi_2 \rightarrow \pi_3$. The follow up question I asked is about knowing if we do have a good characterization of the image of this functor (for example, by the vanishing for all whitehead product in degree higher than $(2,2)$ or something like that). But please don't try to explain that there is construction which allow to represent all $\infty$-groupoid by strict $\infty$-category.

Answer 1

To record the jist of Charles' comment as an answer, the answer to the title question should decidedly be no if we take the $\infty$-category of strict $\infty$-categories to be that presented by the model structure of LaFont, Metayer, and Worytkiewicz (i.e. the morphisms are strict functors and the weak equivalences are created by the inclusion into weak $\infty$-categories).

If the inclusion of strict $\infty$-categories into weak $\infty$-categories were fully faithful, then the inclusion of strict $\infty$-groupoids into weak $\infty$-groupoids would be fully faithful. It would follow that the inclusion of pointed, 1-connected strict $\infty$-groupoids into pointed, 1-connected weak $\infty$-groupoids would also be fully faithful. But this is very far from the case -- pointed, 1-connected strict $\infty$-groupoids are equivalent as a 1-category to 1-connected crossed complexes, i.e. to 1-connected chain complexes. The inclusion functor is the usual forgetful functor. Moreover, the homotopy theory is also the same as the usual homotopy theory on chain complexes, as observed by Ara, so the we get the $\Omega^\infty$-functor restricted to 1-connected $H\mathbb Z$-modules, which is decidedly not fully faithful as a functor to pointed 1-connected spaces.

To spell this out a bit further, the essential image of this functor is the simply-connected products of Eilenberg-MacLane spaces. A map between two of these is an (unstable) cohomology operation. There are lots of these which don't come from maps of chain complexes. For instance, the "squaring" map $K(R,n) \to K(R,2n)$ for $R$ a commutative ring is one such (it can't come from a map of chain complexes for degree reasons). For that matter any element of the mod $p$ Steenrod algebra in other than the scalars or the Bockstein is a cohomology operation which again can't be represented by a chain complex map for degree reasons; these operations are even stable -- so they correspond to maps of spectra which are not maps of $H\mathbb Z$-modules. So our inclusion functor factors as $H\mathbb Z - Mod \to Spectra \to Spaces$, and neither functor in the composite is at all full.

As Harry points out, if we want to get fully faithfulness, then we can get more morphisms between strict $\infty$-groupoids by using pseudofunctors and such rather than strict functors. I'm not sure the inclusion becomes fully faithful with this modification (no pun intended!), although something like this does work in the 2-truncated case. For a nice overview of the possibilities in the 2-truncated case, there's this paper of Noohi.

Answer 2

Edit: Previous edit was incorrect.

The naïve answer is no. It follows from Dimitri Ara's paper that the cellular nerve does not preserve fibrations or weak equivalences. Dimitri showed that the cellular nerve of any strict $\omega$-category with a strictly invertible $n$-cell for $n>1$ is not fibrant. To see that weak equivalences are not preserved, notice that the cellular nerve of the polygraphic resolution of $G_2$ where $G_2$ is the strictly contractible $1$-groupoid with two objects has no strictly invertible higher cells and therefore its cellular nerve is fibrant for the Ara-Rezk model structure. However, it can be seen readily that it is not contractible.

The complicated answer is probably yes, in a homotopical sense, but I only have a partial answer for you.

The idea is as follows: Let $C:\operatorname{Cat}_\omega \to \operatorname{Cat}_\omega$ denote the polygraph resolution comonad, and let $\iota:\Theta\hookrightarrow \operatorname{Cat}_\omega$ denote the inclusion functor. Then it is a theorem of Métayer that $C$ is a cofibrant replacement functor for the folk model structure, and it is an observation of Garner that we can compute the pseudofunctors $X\to Y$ by taking the object of morphisms $C(X)\to Y$.

Then the idea, and there is much to check, is as follows:

Let $N_{\mathrm{hc}}: \operatorname{Cat}_\omega \to \widehat{\Theta}$ be the functor defined by the formula $$N_{\mathrm{hc}}(X)_t = \operatorname{Cat}_\omega(C \iota [t], X)$$ for a tree $[t]\in \Theta$.

What isn't too hard to check is the following: The left adjoint to this functor sends boundary inclusions to cofibrations and spine inclusions to trivial cofibrations.

The left adjoint $\mathfrak{C}_{\mathrm{hc}}$ to this functor can be computed as follows:

Let $P:\operatorname{Cat}_\omega\to \operatorname{Poly}$ be the forgetful functor, and let $L: \operatorname{Poly} \to \operatorname{Cat}_\omega$ be the free strict $\omega$-category functor on a polygraph. Then $C=LP$, so to compute $$\mathfrak{C}_{\mathrm{hc}}(A)=\operatorname*{colim}_{[t]\to A} \mathfrak{C}_{hc}([t])=\operatorname*{colim}_{[t]\to A} C\iota[t]=\operatorname*{colim}_{[t]\to A} LP\iota[t]=L(\operatorname*{colim}_{[t]\to A}P\iota [t]),$$ so the the colimit in question can be computed in the category of polygraphs.

In particular, if we take $\partial\Theta[t]\hookrightarrow \Theta[t]$ to be the boundary inclusion, we can see that computing its image under $\mathfrak{C}_{\mathrm{hc}}$ is obtained by applying the functor $L$ to an injective map of polygraphs, which according to Métayer in private correspondence can be shown to be a cofibration.

Then this implies that all injective maps of $\widehat{\Theta}$ are mapped under $\mathfrak{C}_{\mathrm{hc}}$ to cofibrations.

We can also then easily check that the spine inclusion $\operatorname{Sp}[t] \hookrightarrow \Theta[t]$ is a trivial cofibration by noticing that $\mathfrak{C}_{hc}(\operatorname{Sp}[t]) = \iota[t]$, and therefore that $\iota[t]$ is a retract of $\mathfrak{C}_{hc}([t])$ in which the map $\mathfrak{C}_{hc}([t])\to \iota[t]$ is a weak equivalence because $C$ is a cofibrant replacement functor.

Of course, this doesn't prove all we need. We also need to check that $\mathfrak{C}_{hc}$ preserves homotopies, and this becomes very difficult, since polygraphic resolution is extremely wild. I have some ideas to simplify this, but it still looks pretty difficult.

Assuming you can prove that the adjoint pair $\mathfrak{C}_{\mathrm{hc}} \dashv N_\mathrm{hc}$ is a Quillen pair, proving that it is homotopy fully-faithful probably requires an in-depth analysis of Garner's pseudofunctor statement, in particular that all maps $N_{\mathrm{hc}}(X)\to N_{\mathrm{hc}}(Y)$ can be computed as maps $C(X)\to Y$ up to homotopy. A simple manipulation shows that this question can be reduced also to showing that the counit of the adjunction $\mathfrak{C}_{\mathrm{hc}}N_{\mathrm{hc}} \to \operatorname{id}$ is a weak equivalence, which doesn't seem that outlandish. Indeed, it seems to hold for all of the small examples I try to compute by hand.