理解单子是自函子范畴上的幺半群（二）

函子是范畴间的态射，自函子是将范畴映射到自身的函子。自函子范畴上存在单位态射和自然变换。若存在T² → T的自然变换，则称之为flatMap。选取一个对象F，在自函子范畴上，F、unit和flatMap组成了单子。单子是在自函子范畴上选定了对象和满足特定规则的态射的结构。