范畴论-一个单子（Monad）说白了不过就是自函子范畴上的一个幺半群而已