Frobenius monoidal functors from (co)Hopf adjunctions

From MaRDI portal



Abstract: Let U:mathcalCightarrowmathcalD be a strong monoidal functor between abelian monoidal categories admitting a right adjoint R, such that R is exact, faithful and the adjunction UdashvR is coHopf. Building on the work of Balan, we show that R is separable (resp., special) Frobenius monoidal if and only if R(mathbb1mathcalD) is a separable (resp., special) Frobenius algebra in mathcalC. If further, mathcalC,mathcalD are pivotal (resp., ribbon) categories and U is a pivotal (resp., braided pivotal) functor, then R is a pivotal (resp., ribbon) functor if and only if R(mathbb1mathcalD) is a symmetric Frobenius algebra in mathcalC. As an application, we construct Frobenius monoidal functors going into the Drinfeld center mathcalZ(mathcalC), thereby producing Frobenius algebras in it.




Cites work









This page was built for publication: Frobenius monoidal functors from (co)Hopf adjunctions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6142605)