Wiki. 算畴给出单子 [算畴给出单子]

算畴给出一种特殊的单子, 称为解析单子 (analytic monad).