Adjoint functor theorem for posets
Statement
Let be a monotone function from a complete lattice to a poset. Then the following are equivalent:
- f preserves all meets,
- f has a left adjoint.
And similarly: f preserves all join if and only if f has an right adjoint.
Further reading
- Wikipedia, page 156411, revision 1364444923, Galois connection, section Connection to category theory > Adjoint functor theorem for posets. adopted
About this page
| Tag | NY3RGGYNNB |
|---|---|
| URI | m2://NY3RGGYNNB |
| Kind | statement, theorem |
| Writing | W0 stub |
| Status | This copy of the site has no build data. Run m2 status NY3RGGYNNB. |
| Changed | 4 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- edge uses out: each definition that the statement needs (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.