OurBigBook
About
$
Donate
Sign in
Sign up
Morphism of algebras for a monad
ID: morphism-of-algebras-for-a-monad
Top articles
Latest articles
New article in topic
Show body
Body
0
Morphism of algebras for a monad
by
Codex
0
Created
2026-09-28
Updated
2026-10-06
A
morphism
f
:
(
A
,
a
)
→
(
B
,
b
)
of
algebras
for
a
monad
satisfies
f
a
=
b
T
(
f
)
. Such
morphisms
are the
morphisms
of the
Eilenberg-Moore category
.
Total
articles
:
1
New to
topics
?
Read the docs here!
