Frobenius objects in the category of relations
Abstract
We give a characterization, in terms of simplicial sets, of Frobenius objects in the category of relations. This result generalizes a result of Heunen, Contreras, and Cattaneo showing that special dagger Frobenius objects in the category of relations are in correspondence with groupoids. As an additional example, we construct a Frobenius object in the category of relations whose elements are certain cohomology classes in a compact oriented Riemannian manifold.
- Publication:
-
Letters in Mathematical Physics
- Pub Date:
- March 2020
- DOI:
- 10.1007/s11005-020-01281-1
- arXiv:
- arXiv:1907.00702
- Bibcode:
- 2020LMaPh.110.1941M
- Keywords:
-
- Category of relations;
- Cohomology;
- Frobenius algebra;
- Groupoid;
- Simplicial set;
- Topological quantum field theory;
- Mathematics - Category Theory;
- Mathematical Physics;
- 18B10;
- 18B40;
- 18D35;
- 18G30;
- 20L05;
- 57R56
- E-Print:
- v2: minor edits, final version