Prefer a chat interface with context about you and your work?
On exact -categories and the Theorem of the Heart
We introduce a notion of exact quasicategory, and we prove an analogue of Amnon Neeman's Theorem of the Heart for Waldhausen K-theory.