The heart of the Banach spaces (Q2363264)

Start with an additive category \(A\). Consider the category of monomorphisms in \(A\) and commuting squares between them. Identify a commuting square with zero when it has a diagonal fill-in. Quotienting out this ideal gives the category of hMon(\(A\)) monomorphisms in \(A\) up to homotopy. If \(A\) has kernels and ranges, then hMon(\(A\)) is preabelian. Some morphisms in hMon(\(A\)) will be both pullback and pushout squares. If \(A\) is a Waelbroeck category, then these ``pulation'' morphisms form a multiplicative system in hMon(\(A\)). The main result is that formally inverting these pulation morphisms make hMon(\(A\)) abelian. This applies to the category of Banach spaces, Fréchet spaces, LB-spaces, and many others that are important in functional analysis, but are not (quasi-)abelian. This makes precise studies of \textit{L. Waelbroeck} [Banach Cent. Publ. 8, 553--562 (1982; Zbl 0492.46012)].