411 REFERENCE · Wikibooks
Category Theory/Adjoint functors
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
adjoint functors Let be categories. A pair of adjoint functors consists of two functors and (where is the left adjoint and is the right adjoint) such that the two bifunctors
and
from to are naturally isomorphic to each other.
left adjoint functors preserve epimorphisms Let be categories, and let and be an adjoint pair of functors. Suppose that and is an epimorphism. Then is also an epimorphism.
Let be arrows in so that .
right adjoint functors preserve monomorphisms