Morita equivalence for many-sorted enriched theories (Q2374328)

The authors work in the context of \(\mathcal{V}\)-enriched categories as in the book [\textit{G. M. Kelly}, Repr. Theory Appl. Categ. 2005, No. 10, 1--136 (2005; Zbl 1086.18001)]; so ``category'' means ``\(\mathcal{V}\)-category'' and so on. A weight is a functor \(\psi : \mathcal{D}^{\mathrm{op}}\to \mathcal{V}\). For a class \(\Psi\) of weights, a \(\Psi\)-theory is a small \(\Psi\)-cocomplete category \(\mathcal{T}\). The authors write \(\Psi\text{-}\mathrm{Alg}(\mathcal{T})\) for the category of functors \(A : \mathcal{T}^{\mathrm{op}}\to \mathcal{V}\) taking \(\psi\)-weighted colimits in \(\mathcal{T}\) to limits for all \(\psi\in\Psi\). Write \(\mathcal{Q}(\mathcal{C})\) for the Cauchy completion of any category \(\mathcal{C}\); it is the completion with respect to absolute colimits. A basic Morita-style theorem is \(\Psi\text{-}\mathrm{Alg}(\mathcal{T}) \simeq \Psi\text{-}\mathrm{Alg}(\mathcal{T'})\) if and only if \(\mathcal{Q}(\mathcal{T})\simeq \mathcal{Q}(\mathcal{T'})\); see [\textit{G. M. Kelly} and \textit{V. Schmitt}, Theory Appl. Categ. 14, 399--423 (2005; Zbl 1082.18004)]. Quite often \(\Psi\) includes sufficient weights to imply \(\mathcal{Q}(\mathcal{T})\simeq \mathcal{T}\); for example, this is true if \(\mathcal{V}=\mathrm{Set}\) and \(\Psi\)-colimits include pushouts. The present paper defines many-sorted \(\mathcal{V}\)-theories in such a way that \(\Psi\text{-}\mathrm{Alg}(\mathcal{T})\) has a faithful functor into \([\mathcal{S}^{\mathrm{op}},\mathcal{V}]\) where \(\mathcal{S}\) is a discrete (\(\mathcal{V}\)-)category of sorts. The basic Morita-style theorem is sharpened (via a notion called pseudoinvertibility) to the many-sorted case in the spirit of the work of \textit{J. Adámek} et al. [J. Algebra 297, No. 2, 361--371 (2006; Zbl 1094.18003)]. Many examples are explained.