Frobenius objects in the category of spans
arXiv:2106.14743 · doi:10.1142/S0129055X22500362
Abstract
We consider Frobenius objects in the category Span, where the objects are sets and the morphisms are isomorphism classes of spans of sets. We show that such structures are in correspondence with data that can be characterized in terms of simplicial sets. An interesting class of examples comes from groupoids. Our primary motivation is that Span can be viewed as a set-theoretic model for the symplectic category, and thus Frobenius objects in Span provide set-theoretic models for classical topological field theories. The paper includes an explanation of this relationship.
arXiv commentv2: added sections 3.5 and 4.5, explaining the relationship to 2-Segal sets
References in corpus (20)
- The Geometry of the Master Equation and Topological Quantum Field Theory
- Poisson Structure Induced (Topological) Field Theories
- The Classification of Two-Dimensional Extended Topological Field Theories
- Higher Segal spaces I
- Open-closed strings: Two-dimensional extended TQFTs and Frobenius algebras
- Lattice Topological Field Theory in Two Dimensions
- Shifted Poisson Structures and Deformation Quantization
- Poisson sigma models and symplectic groupoids
- Decomposition spaces, incidence algebras and Möbius inversion I: basic theory
- Iterated spans and classical topological field theories
- Multiple Derived Lagrangian Intersections
- Lagrangian structures on mapping stacks and semi-classical TFTs
- State sum construction of two-dimensional open-closed Topological Quantum Field Theories
- Higher-Dimensional Algebra VII: Groupoidification
- Relative Frobenius algebras are groupoids
- On Frobenius algebras in rigid monoidal categories
- 2-Vector Spaces and Groupoids
- Selective Categories and Linear Canonical Relations
- Simplicial spaces, lax algebras and the 2-Segal condition
- Frobenius objects in the category of relations