Are Banach spaces monadic?

Abstract

We will show that Banach spaces are monadic over complete metric spaces via the unit ball functor. For the forgetful functor, one should take complete pointed metric spaces.

arXiv comment8 pages, the proof of Theorem 4.1 was corrected