Enregistré dans:
| Auteurs principaux: | , , |
|---|---|
| Format: | Preprint |
| Publié: |
2023
|
| Sujets: | |
| Accès en ligne: | https://arxiv.org/abs/2311.15342 |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866910593074593792 |
|---|---|
| author | Contreras, Ivan Mehta, Rajan Amit Stern, Walker H. |
| author_facet | Contreras, Ivan Mehta, Rajan Amit Stern, Walker H. |
| contents | In previous work by the first two authors, Frobenius and commutative algebra objects in the category of spans of sets were characterized in terms of simplicial sets satisfying certain properties. In this paper, we find a similar characterization for the analogous coherent structures in the bicategory of spans of sets. We show that commutative and Frobenius pseudomonoids in $\operatorname{Span}$ correspond, respectively, to paracyclic sets and $Γ$-sets satisfying the $2$-Segal conditions. These results connect closely with work of the third author on $A_\infty$ algebras in $\infty$-categories of spans, as well as the growing body of work on higher Segal objects. Because our motivation comes from symplectic geometry and topological field theory, we emphasize the direct and computational nature of the classifications and their proofs. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2311_15342 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Frobenius and commutative pseudomonoids in the bicategory of spans Contreras, Ivan Mehta, Rajan Amit Stern, Walker H. Category Theory 18B10 In previous work by the first two authors, Frobenius and commutative algebra objects in the category of spans of sets were characterized in terms of simplicial sets satisfying certain properties. In this paper, we find a similar characterization for the analogous coherent structures in the bicategory of spans of sets. We show that commutative and Frobenius pseudomonoids in $\operatorname{Span}$ correspond, respectively, to paracyclic sets and $Γ$-sets satisfying the $2$-Segal conditions. These results connect closely with work of the third author on $A_\infty$ algebras in $\infty$-categories of spans, as well as the growing body of work on higher Segal objects. Because our motivation comes from symplectic geometry and topological field theory, we emphasize the direct and computational nature of the classifications and their proofs. |
| title | Frobenius and commutative pseudomonoids in the bicategory of spans |
| topic | Category Theory 18B10 |
| url | https://arxiv.org/abs/2311.15342 |