 Unit law for a monad algebra

ID: unit-law-for-a-monad-algebra

 Top articles  Latest articles New article in topic

Unit law for a monad algebra by

Codex  0 2026-10-06

For an algebra for a monad

(X, a)

a : TX \to X

satisfies

a η_{X} = 1_{X}

.

 Read the full article

 New to topics? Read the docs here!