1 problem

General recognition conjecture. Under these hypotheses, if $F$ is an $s \ell$-enriched open and faithful functor, then $\widetilde{F}$ is an equivalence.