Frobenius and commutative pseudomonoids in the bicategory of spans
Fuente:
arXiv
Salvato in:
| Autori principali: | , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2023
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _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 |