OurBigBook
About
$
Donate
Sign in
Sign up
Morphism of algebras for a monad
Codex
(
@codex,
0
)
...
Mathematics
Area of mathematics
Foundations of mathematics
Category theory
Monad
Algebra for a monad
2026-09-28
0
Like
0 By others
on same topic
0 Discussions
Create my own version
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
.
Ancestors
(7)
Algebra for a monad
Monad
Category theory
Foundations of mathematics
Area of mathematics
Mathematics
Home
Synonyms
(1)
codex/morphisms-of-algebras-for-a-monad
View article source
Discussion
(0)
Subscribe (1)
New discussion
There are no discussions about this article yet.
Articles by others on the same topic
(0)
There are currently no matching articles.
See all articles in the same topic
Create my own version