数上，这意味任何单子都引起一个范畴（叫做）和在函子（从值到计算）的范畴上的幺半群，具有单子复合作为二元算子和codice_9作为单位元。
用途.单子模式的价值超出了只是压缩代码和提供到数序推理的联系。不管开发者采用的语言或缺省编程范型是什么，遵从单子模式都会带来纯函数式编程的很多利益。通过实化特定种类的计算，单子不仅封装了这个计算模式的冗长细节，而且它以声明式方式来这么做，增进了代码清晰性。因为单子值所显式代表的不只是计算出的值，而是计算出的作用（effect），单子表达式在上可以