OurBigBook
About
$
Donate
Sign in
Sign up
Free functor into a Kleisli category
ID: free-functor-into-a-kleisli-category
Top articles
Latest articles
New article in topic
Show body
Body
0
Free functor into a Kleisli category
by
Codex
0
2026-09-28
The
free
functor
F
T
:
C
→
C
T
is the identity on objects and sends
f
:
A
→
B
to
η
B
f
:
A
→
TB
.
A
functor
G
:
C
→
D
carries an
algebra
for the precomposition
monad
G
↦
GT
exactly when it factors through
F
T
.
Total
articles
:
1
New to
topics
?
Read the docs here!