Heavily separable functors (Q2333366)

The classical notion of separability was interpreted in functorial way by \textit{C. Năstăsescu} et al. [J. Algebra 123, No. 2, 397--413 (1989; Zbl 0673.16026)]. In this paper, the authors following this idea introduce the stronger notion of heavily separable functors. A functor \(F:\mathcal{B} \to\mathcal{A}\) is separable is there is a natural transformation \(P:\mathrm{Hom}_{\mathcal A}(F-,F-)\to\mathrm{Hom}_{\mathcal B}(-,-)\) satisfying \(P_{X,Y}\circ F_{X,Y}=Id\) for every objects \(X,Y\in\mathcal{B}\) and heavily separable (h-separable) if \(P_{X,Z}(f\circ g) = P_{Y,Z}(f) \circ P_{X,Y} (g)\) for \(f:X\to Y\) and \(g:Y\to Z\). Section 2 is devoted to the study adjoints h-separable functors. Thus, given an adjunction \((L:\mathcal{B}\to\mathcal{A}, R:\mathcal{A}\to \mathcal{B} ,\eta , \epsilon)\), \(L\) (resp. \(R\)) is \(h\)-separable if there exists a natural transformation \(\gamma :RL\to Id_{\mathcal{B}}\) (resp. \(\delta : Id_{\mathcal{A}}\to LR\)) such that \(\gamma \circ \eta =Id\) (resp. \(\epsilon \circ \delta =Id\) ) and \(\gamma\gamma = \gamma\circ R\epsilon L\) (resp. \(\delta\delta = L\eta R\circ \delta\)), see [\textit{M. D. Rafael}, Commun. Algebra 18, No. 5, 1445--1459 (1990; Zbl 0713.18002)] for the separability result. Next section investigates heavily separable rings homomorphism, i.e. the associated functors of extension and restriction functors. A description using \(h\)-separability idempotent and several examples are given. In Section 4, heavily (co)separable corings are characterized. Moreover, the case of the comatrix \(R\)-coring associated to an \(_R\Sigma_S\)-bimodule such that \(\Sigma_S\) is finitely generated and projective are carefully analyzed. The last section present the motivating example of this theory, the \(h\)-separable tensor algebra functor \(\mathbf{T}: \mathcal{M}\to\mathrm{Bialg}(\mathcal{M})\) , where \(\mathcal{M}\) is a preadditive braided monoidal category with equalizers and denumerable coproducts and with the property that the tensor products are additive and preserve equalizers and denumerable coproducts and Bial\((\mathcal{M})\) is the category of bialgebras over \(\mathcal{M}\).