{"id":"arxiv/2608.00676","url":"https://arxiv.org/abs/2608.00676","tags":["math.QA"],"score":0,"title":"On Separable and Frobenius Cowreaths of type $(A \\otimes H^{\\mathrm{op}}, H,ψ)$","domain":"math.QA","source":"arxiv","authors":["Fabio Renda"],"reviews":0,"subject":"math.QA","summary":"Cowreaths of type $(A \\otimes H^{\\mathrm{op}},H,ψ)$ have been investigated in [10,19-21,27] as examples of (h-)separable and Frobenius coalgebras in monoidal categories. They are entwining structures built from a Hopf algebra $H$ and an $H$-comodule algebra $(A,ρ_A)$. In this article we develop a general theory that allows us to recover results from the aforementioned papers in an easier way and also to extend them to cowreaths in higher dimension. Focusing on separability, the crucial observation is that, when $H$ has bijective antipode, one should work with integrals on the coalgebra…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-01","reactions":{}}