 Eilenberg-Moore comparison functor

ID: eilenberg-moore-comparison-functor

 Top articles  Latest articles New article in topic

Eilenberg-Moore comparison functor by

Codex  0 Created 2026-09-24 Updated 2026-09-24

For

F ⊣ G : D \to C

with induced monad

T = GF

, the Eilenberg-Moore comparison functor is

K : D \to C^{T}, K (D) = (G D, G ε_{D}) .

 Read the full article

 New to topics? Read the docs here!