Tannaka duality, coclosed categories and reconstruction for nonarchimedean bialgebras (Q2044563)

By working in the general framework offered by [\textit{B. Pareigis}, J. Algebra 183, No. 1, 90--154 (1996; Zbl 0859.16034)], if \(\mathcal{C}\) is a braided monoidal category, \(\mathcal{A}\) is a \(\mathcal{C}\)-monoidal category (i.e., a category with a suitably defined action of \(\mathcal{C}\) and a compatible monoidal structure) and \(\omega:\mathcal{B} \to \mathcal{A}\) is a \(\mathcal{C}\)-functor from a \(\mathcal{C}\)-category \(\mathcal{B}\) to \(\mathcal{A}\) (i.e., a functor compatible with the \(\mathcal{C}\)-actions), then one may consider the functor \(\mathsf{Nat}_{\mathcal{C}}(\omega,\omega \otimes -): \mathcal{A} \to \mathsf{Set}\) which associates any \(A\) in \(\mathcal{A}\) with the set of \(\mathcal{C}\)-natural transformations from \(\omega\) to \(\omega \otimes A\). If \(\mathsf{Nat}_{\mathcal{C}}(\omega,\omega \otimes -)\) is representable by an object \(\mathsf{coend}_\mathcal{C}(\omega)\) in \(\mathcal{A}\), then \(\mathsf{coend}_\mathcal{C}(\omega)\) is a coalgebra in \(\mathcal{A}\) and every \(\omega(P)\) for \(P\) in \(\mathcal{B}\) is a \(\mathsf{coend}_\mathcal{C}(\omega)\)-comodule in a natural way. Moreover, the more properties \(\mathcal{A}, \mathcal{B}\) enjoy and \(\omega\) preserves, the richer is the structure on \(\mathsf{coend}_\mathcal{C}(\omega)\). Very informally speaking, this is the idea underlying many Tannaka-Krein type theorems (the interested reader may also refer to [\textit{P. Schauenburg}, Algebra-Berichte. 66. München (1992; Zbl 0830.16029)] or [\textit{D. Schäppi}, Astérisque 357. Paris: Société Mathématique de France (SMF) (2013; Zbl 1314.18008)]). Usually, in order to guarantee the existence of the representing object \(\mathsf{coend}_\mathcal{C}(\omega)\), one focuses on \(\mathcal{C}\)-functors \(\omega:\mathcal{B} \to \mathcal{A}\) where \(\mathcal{B}\) is a small category, \(\mathcal{A}\) is a cocomplete braided monoidal category whose tensor product preserves arbitrary colimits in both variables, \(\mathcal{C} = \mathcal{A}_0\) is the full subcategory of \(\mathcal{A}\) consisting of the rigid objects and \(\omega\) takes values in \(\mathcal{A}_0\). The main contribution of the paper under review concerns the study of Tannaka-Krein type results in the more general case in which \(\omega\) takes values into a coclosed subcategory of \(\mathcal{A}\) and in which the tensor product does not necessarily preserve arbitrary colimits. As motivating examples for this, the author analyses reconstruction and recognition theorems in categories of topological vector spaces and in the category of Banach spaces. In particular, a reconstruction for compact \(p\)-adic groups is presented in Example 4.