2-Segal maps associated to a category with cofibrations
Abstract
Waldhausen's -construction gives a way to define the algebraic -theory space of a category with cofibrations. Specifically, the -theory space of a category with cofibrations can be defined as the loop space of the realization of the simplicial topological space . Dyckerhoff and Kapranov observed that if is chosen to be a proto-exact category, then this simplicial topological space is 2-Segal. A natural question is then what variants of this -construction give 2-Segal spaces. We find that for , , , and the simplicial set whose th level is the set of isomorphism classes of , there are certain -Segal maps which are always equivalences. However for all of these simplicial objects, none of the rest of the -Segal maps have to be equivalences. We also reduce the question of whether is -Segal in nice cases to the question of whether a simpler simplicial space is -Segal. Additionally, we give a sufficient condition for to be -Segal. Along the way we introduce the notion of a generated category with cofibrations and provide an example where the levelwise realization of a simplicial category which is not -Segal is -Segal.
Cite
@article{arxiv.2405.11561,
title = {2-Segal maps associated to a category with cofibrations},
author = {Tanner Nathan Carawan},
journal= {arXiv preprint arXiv:2405.11561},
year = {2024}
}
Comments
31 pages