Functors and Categories of Banach Spaces by P.W. Michor