Frobenius Algebras and Dual Bimodules in Monoidal 2-Categories
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.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.02046
curl -X POST /api/v1/records/arxiv/2606.02046/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.02046/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'