Universal $\delta$-functors and relative injective objects in the category of $p$-Banach spaces
Inspired by Grothendieck's foundational work, we establish that the sequence of functors $(Ext^n_{pBan}(E,-))_{n \ge 0}$ on the category of $p$-Banach spaces ($0<p<1$) forms a universal $\delta$-functor. To this end, for any pair of $p$-Banach spaces $E$ and $X$, we construct a $p$-Banach space $\mathcal N_E^X$ that re...