2023/10/19 by Germán Stefanich, Stefanich, Germán · 1 citation
Mathematics · Medicine · #Algebraic Topology (math.AT) #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Intracranial Aneurysms: Treatment and Complications
paper · pdf · doi:10.48550/arxiv.2310.12925
openalex publication_date 2023/10/19 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We develop the theory of exact completions of regular ∞-categories, and show that the ∞-categorical exact completion (resp. hypercompletion) of an abelian category recovers the connective half of its bounded (resp. unbounded) derived ∞-category. Along the way, we prove that a finitely complete ∞-category is exact and additive if and only if it is prestable, extending a classical characterization of abelian categories. We also establish ∞-categorical versions of Barr's embedding theorem and Makkai's image theorem.