Semiseparable functors (Q6087813)

The authors introduce and study the notion of semiseparable functors. Given a functor \(F:\mathcal{C}\to\mathcal{F}\), \(F\) is called semiseparable if the associated natural transformation \(\mathcal{F}^F:\mathrm{Hom}_{\mathcal{C}}(-,-)\to \mathrm{Hom}_{\mathcal{D}}(F(-),F(-))\) (\(\mathcal{F}^F_{C,C'}(f) = F(f)\) for any \(f:C\to C'\)) is regular, i.e. there exists a natural transformation \(\mathcal{P}^F:\mathrm{Hom}_{\mathcal{D}}(F(-),F(-))\to\mathrm{Hom}_{\mathcal{C}}(-,-)\) satisfying \(\mathcal{F}^F\circ\mathcal{P}^F\circ\mathcal{F}^F=\mathcal{F}^F\). Any separable functors in the sense of \textit{C. Năstăsescu} et al. [J. Algebra 123, No. 2, 397--413 (1989; Zbl 0673.16026)] is semiseparable. In Section 2, the properties of semiseparable functors with an adjoint are investigated. It is shown that if an functor \(F\) is right adjoint to a functor \(G\) then \(F\) (resp. G) is semiseparable if and only if the unit of the adjunction is regular (resp. the counit is regular). Moreover \(G\) is semiseparable if and only if the forgetful functor \(U_{GF}:\mathcal{C}_{GF}\to\mathcal{C}\) is separable ( equivalently, the associated monad \((FG,G\epsilon F , \eta)\) is separable) and the comparison functor \(K_{GF}:\mathcal{D}\to\mathcal{C}_{GF}\) is naturally full, where \(\mathcal{C}_{GF}\) is the Eilenber-Moore categor. The dual result for comonads is obtained as well. Next, semiseparable Frobenius functor and semiseparable (co)reflections are characterized. The last Section is devoted to applications and examples. Extensions and restrictions of scalars, coinductions and corestriction of coscalars, corings, bimodules, (co)reflections and right Hopf algebras are considered.