Proto-exact categories and injective Banach modules
arXiv:2603.07840
Abstract
We develop the basic theory of covers and envelopes in proto-exact categories. As an application, we prove the existence of enough injectives for categories of Banach modules over arbitrary Banach rings.
41 pages, comments very welcome!