With braiding
With duals for objects
category with duals (list of them)
dualizable object (what they have)
ribbon category, a.k.a. tortile category
With duals for morphisms
monoidal dagger-category?
With traces
Closed structure
Special sorts of products
Semisimplicity
Morphisms
Internal monoids
Examples
Theorems
In higher category theory
The concept of Frobenius pseudomonoid is the categorification of that of Frobenius algebra. It can be defined in any monoidal bicategory. Since Frobenius pseudomonoids are closely related to star-autonomous categories, they are sometimes called -autonomous pseudomonoids.
Like a Frobenius algebra, a Frobenius pseudomonoid can be defined in many essentially equivalent ways. Let be a monoidal bicategory, and let be a pseudomonoid in .
is Frobenius if it is equipped with a morphism such that the composite is the counit of a specified 2-adjunction . (Lauda06), (Street04)
is Frobenius if it is equipped with a specified 2-adjunction , with counit , and an isomorphism . (Day-Street 03)
There should also be a definition in terms of an interacting pseudomonoid and pseudocomonoid structure, but I have not been able to find this in the literature.
Note that if is a compact closed bicategory, then the 2-adjunction can equivalently be expressed as an equivalence from to its specified dual object.
A star-autonomous category is equivalent to a Frobenius pseudomonoid in the monoidal bicategory Prof whose multiplication , unit , and duality equivalence are representable profunctors (i.e. functors).
See Day-Street 03 and Street04.
Note that the morphisms , , and the induced comultiplication are not representable. A general Frobenius pseudomonoid in , without any representability conditions, may be called a pro--autonomous category.
There is another relation between Frobenius algebras and -autonomous categories: (Egger10) shows that cocomplete -autonomous posets are equivalently Frobenius algebras in the -autonomous category Sup.
This characterisation of -autonomous algebras in terms of pseudo-Frobenius algebras can further be refined to characterise autonomous categories. Namely, an autonomous category is a representable pseudo-Frobenius algebra in Prof whose pseudomonoid and pseudocomonoid structure not only are adjoint, but which also satsify “locality” coherence equations Bartlett-Vicary 10.
Last revised on January 25, 2023 at 13:37:56. See the history of this page for a list of all contributions to it.