A combinatorial construction of homology via ACGW categories

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Sarazola, Maru, Shapiro, Brandon, Zakharevich, Inna
Format: Preprint
Published: 2024
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866916417302953984
author Sarazola, Maru
Shapiro, Brandon
Zakharevich, Inna
author_facet Sarazola, Maru
Shapiro, Brandon
Zakharevich, Inna
contents 2-Segal spaces arise not only from $S_\dotp$-constructions associated to Waldhausen and (proto) exact categories, but also from $S_\dotp$-constructions associated to certain double-categorical structures. A major step in this direction is due to the work of Bergner--Osorno--Ozornova--Rovelli--Scheimbauer, who propose augmented stable double Segal objects as a natural input for an $S_\dotp$-construction. More recently, another such input has been put forth: ACGW categories. ACGW categories have the advantage that they are combinatorial in nature (as opposed to homotopical or algebraic), and thus have fewer difficult coherence issues to work with. The goal of this paper is to introduce the reader to the key ideas and techniques for working with ACGW categories. To do so, we focus on how homology theory generalizes to ACGW categories, particularly in the central example of finite sets. We show how the ACGW formalism can be used to produce various classical homological algebra results such as the Snake lemma and long exact sequences of relative pairs.
format Preprint
id arxiv_https___arxiv_org_abs_2410_00276
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle A combinatorial construction of homology via ACGW categories
Sarazola, Maru
Shapiro, Brandon
Zakharevich, Inna
K-Theory and Homology
18G50, 19D99, 18N10
2-Segal spaces arise not only from $S_\dotp$-constructions associated to Waldhausen and (proto) exact categories, but also from $S_\dotp$-constructions associated to certain double-categorical structures. A major step in this direction is due to the work of Bergner--Osorno--Ozornova--Rovelli--Scheimbauer, who propose augmented stable double Segal objects as a natural input for an $S_\dotp$-construction. More recently, another such input has been put forth: ACGW categories. ACGW categories have the advantage that they are combinatorial in nature (as opposed to homotopical or algebraic), and thus have fewer difficult coherence issues to work with. The goal of this paper is to introduce the reader to the key ideas and techniques for working with ACGW categories. To do so, we focus on how homology theory generalizes to ACGW categories, particularly in the central example of finite sets. We show how the ACGW formalism can be used to produce various classical homological algebra results such as the Snake lemma and long exact sequences of relative pairs.
title A combinatorial construction of homology via ACGW categories
topic K-Theory and Homology
18G50, 19D99, 18N10
url https://arxiv.org/abs/2410.00276