3 problems

Let $\mathcal{A}$ be a bounded $s\ell$-category, let $B\in Alg_{s\ell}$, and let … be a functor. The coend $L=End^\wedge(T)$ and its lifting $\widetilde{T}$ exist. General Tannaka…

Let $\mathcal{A}$ be a bounded complete $s\ell$-category, let $B$ be a locale, and let … be an open and faithful $s\ell$-functor. Recognition conjecture. The associated Tannakian l…

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