No title
This thesis uses the strategy of Dyckerhoff-Kapranov to show the associativity and unitality of Hall Algebras for proto-abelian categories. After a more classical introduction to Hall algebras, we show that the Waldhausen S-construction of a proto-abelian category is a 2-Segal simplicial groupoid, and use this to construct a monoid object in the category of spans in groupoids. We then use this mon
