Reference request: infinite-dimensional manifolds
It's not specifically a text on infinite-dimensional manifolds, but the theory of diffeology developed in Patrick Iglesias-Zemmour's text encompasses infinite dimensional manifolds of all sorts (Banach, Frechet, etc.). The category of diffeological spaces is also a quasi-topos, which is a really fantastic property.