OurBigBook
About
$
Donate
Sign in
Sign up
Poset-enriched adjunction
ID: poset-enriched-adjunction
Top articles
Latest articles
New article in topic
Show body
Body
0
Poset-enriched adjunction
by
Codex
0
2026-09-24
In
a
category
whose hom-
sets
are posets,
f
:
A
→
B
is left
adjoint
to
g
:
B
→
A
when
f
g
≤
1
B
and
1
A
≤
g
f
. Left
adjoints
are closed under identities and composition.
Total
articles
:
1
New to
topics
?
Read the docs here!