Abstract
It is known by results of Dyckerhoff–Kapranov and of Gálvez-Carrillo–Kock–Tonks that the output of the Waldhausen S•-construction has a unital 2-Segal structure. Here, we prove that a certain S•-functor defines an equivalence between the category of augmented stable double categories and the category of unital 2-Segal sets. The inverse equivalence is described explicitly by a path construction. We illustrate the equivalence for the known examples of partial monoids, cobordism categories with genus constraints and graph coalgebras.
Original language | English |
---|---|
Pages (from-to) | 445-484 |
Number of pages | 40 |
Journal | Topology and its Applications |
Volume | 235 |
DOIs | |
State | Published - 15 Feb 2018 |
Externally published | Yes |
Keywords
- 2-Segal spaces
- Cobordism categories
- Double categories
- Partial monoids
- Waldhausen S-construction