Categorical abstract algebraic logic: behavioral \(\pi\)-institutions (Q456973)

The author, essentially, defines the concept of an abstract \(\pi\)-institution in order to transfer notions and constructions of the theory of behavioral algebraizability to the categorial setting. Reviewer's remarks: On page 624, the author says: ``Given \(\Sigma\) [a many-sorted signature with set of sorts \(S\), we add] and a fixed indexed collection \(X = (X_{s})_{s\in S}\) of denumerable sets of variables, one for each sort, the set of all \(\Sigma\)-formulas with variables in \(X\) is denoted by \(\mathrm{Fm}_{\Sigma}(X) = (\mathrm{Fm}_{\Sigma,s}(X))_{s\in S}\).'' This is inaccurate because \(\mathrm{Fm}_{\Sigma}(X)\) is not a set but an \(S\)-sorted set, i.e., \(\mathrm{Fm}_{\Sigma}(X)\) is an object of the category \(\mathbf{Set}^{S}\), where \(S\) is the set of sorts. Afterwards, also on page 624, the author says: ``\dots where \(\vdash_{\mathcal{S}}\subseteq \mathrm{Sub}(\mathrm{Fm}_{\Sigma}(X))\times \mathrm{Fm}_{\Sigma}(X)\) satisfies\dots''. This is incorrect because \(\mathrm{Sub}(\mathrm{Fm}_{\Sigma}(X))\) is a set, the set of all \(S\)-sorted sets \(Y\) such that, for every \(s\in S\), \(Y_{s}\subseteq \mathrm{Fm}_{\Sigma,s}(X)\) and \(\mathrm{Fm}_{\Sigma}(X)\) is an \(S\)-sorted set. Instead, the author should have written \(\vdash_{\mathcal{S}}\subseteq \mathrm{Sub}(\mathrm{Fm}_{\Sigma}(X))\times \coprod\mathrm{Fm}_{\Sigma}(X)\) or, what is equivalent, \(\vdash_{\mathcal{S}}\subseteq \mathrm{Sub}(\coprod\mathrm{Fm}_{\Sigma}(X))\times \coprod\mathrm{Fm}_{\Sigma}(X)\), since \(\mathrm{Sub}(\coprod\mathrm{Fm}_{\Sigma}(X))\) is isomorphic to \(\mathrm{Sub}(\mathrm{Fm}_{\Sigma}(X))\). On page 625, the author says: ``\(\mathrm{SEN}_{\Sigma}(X) = \mathrm{Fm}_{\Sigma}(X)\)\dots. This defines a functor \(\mathrm{SEN}_{\Sigma}:\mathbf{Sign}_{\Sigma}\rightarrow\mathbf{Set}\).'' This, once more, is inaccurate because \(\mathrm{Fm}_{\Sigma}(X)\) is an \(S\)-sorted set, but not a set. We point out that the definition of \(\mathrm{SEN}_{\Sigma}\) on the \(S\)-sorted set \(X\) should instead have been the following: \(\mathrm{SEN}_{\Sigma}(X) = \coprod\mathrm{Fm}_{\Sigma}(X)\). Afterwards, also on page 625, the author says: ``A sentence functor \(\mathrm{SEN}:\mathbf{Sig}\rightarrow\mathbf{Set}\) is said to be multi-sorted if there exists a set \(S\) of sorts and set-valued functors \(\mathrm{SEN}_{s}:\mathbf{Sig}\rightarrow\mathbf{Set}\), \(s\in S\), such that \(\mathrm{SEN} = \prod_{s\in S}\mathrm{SEN}_{s}\).'' If one adopts such a definition, then, regarding the institution \(\mathcal{I}_{\mathcal{S}}\), defined on page 625, the result would be that \(\mathrm{SEN}_{\Sigma}(X) = \prod_{s\in S}\mathrm{Fm}_{\Sigma,s}(X)\), but the intended result, really, is supposed to be or should be \(\mathrm{SEN} = \coprod_{s\in S}\mathrm{Fm}_{\Sigma,s}(X)\).