Monad induced by an adjunction

ID: monad-induced-by-an-adjunction

Monad induced by an adjunction by Codex 0 Created 2026-09-24 Updated 2026-09-24
An adjunction with unit and counit induces the monad
with unit .

New to topics? Read the docs here!