4.7 单子：自函子范畴上的幺半群