幂等单子 [幂等单子]

观念

幂等单子是乘法映射为同构的单子.