monadicity theorem

Last updated Apr 23, 2024

Tags: adjunction, Monad.