论文标题
Banach空间是Monadic吗？
Are Banach spaces monadic?
论文作者
论文摘要
我们将证明Banach空间是通过单位球函子在完整的度量空间上进行的。对于健忘的函数，应该采用完整的指标空间。
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.
