nForum - Discussion Feed (associated idempotent monad)2024-03-28T09:37:22+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Todd_Trimble comments on "associated idempotent monad" (1915)https://nforum.ncatlab.org/discussion/285/?Focus=1915#Comment_19152009-10-29T19:30:32+00:002024-03-28T09:37:22+00:00Todd_Trimblehttps://nforum.ncatlab.org/account/24/
I added a section to idempotent monad on the idempotent monad associated with a monad.
I added a section to idempotent monad on the idempotent monad associated with a monad.