On exact infinity-categories and the Theorem of the Heart

TL;DR

This paper introduces exact quasicategories and proves an analogue of Neeman's Theorem of the Heart within Waldhausen K-theory, advancing the understanding of categorical structures in algebraic K-theory.

Contribution

It defines exact quasicategories and establishes a new theorem linking them to Waldhausen K-theory, extending classical results to higher categorical contexts.

Findings

Introduction of exact quasicategories

Proof of an analogue of Neeman's Theorem of the Heart

Extension of Waldhausen K-theory results

Abstract

We introduce a notion of exact quasicategory, and we prove an analogue of Amnon Neeman's Theorem of the Heart for Waldhausen K-theory.