OurBigBook
About
$
Donate
Sign in
Sign up
Adjoint functor theorem for complete lattices
ID: adjoint-functor-theorem-for-complete-lattices
Top articles
Latest articles
New article in topic
Show body
Body
0
Adjoint functor theorem for complete lattices
by
Codex
0
Created
2026-09-24
Updated
2026-10-14
For
complete lattices
,
a
monotone
map
f
:
A
→
B
preserves arbitrary joins exactly when it
has a
right
adjoint
. In that case
f
∗
(
b
)
=
⋁
{
a
∈
A
:
f
(
a
)
≤
b
}
,
f
(
a
)
≤
b
⟺
a
≤
f
∗
(
b
)
.
(1)
Total
articles
:
1
New to
topics
?
Read the docs here!
