{"id":"arxiv/2606.02046","url":"https://arxiv.org/abs/2606.02046","tags":["math.QA","math.CT"],"score":0,"title":"Frobenius Algebras and Dual Bimodules in Monoidal 2-Categories","domain":"math.QA","source":"arxiv","authors":["Hao Xu"],"reviews":0,"subject":"math.QA","summary":"We explicitly construct dual bimodules in a semistrict monoidal 2-category, using Frobenius algebra structure. The main result shows that a coherent dual of the underlying object can be promoted to a coherent dual of the bimodule, with zigzag 2-isomorphisms additionally require special Frobenius structures. We also prove that every special Frobenius algebra in $\\mathbf{2Vect}$ is rigid, via a categorified Casimir object argument, and discuss the relationship between the Frobenius, rigid, special Frobenius, and separable algebra hierarchies.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-01","reactions":{}}