The nucleus of an adjunction and the Street monad on monads

Open in new window