When showing that two functors $F:A\rightarrow B$ and $G:B\rightarrow A$ are adjoint, one defines a natural bijection $Mor(X,G(Y)) \rightarrow Mor(F(X),Y)$. What if one do not require the bijection to be natural, what issues would arise?
Tell me more
×
Mathematics Stack Exchange is a question and answer site for
people studying math at any level and professionals in related fields. It's 100% free, no registration required.
|
|
Adjunction of $F,G$ is a bridge between $\mathcal A$ and $\mathcal B$, in most of the examples so called heteromorphisms are definable from objects of $\mathcal A$ to that of $\mathcal B$, and these have to (naturally!) correspond to elements of both homsets $Mor(FX,Y)$ and $Mor(X,GY)$. Then $F$ can be obtained by reflections and $G$ by 'coreflections' in this bigger category which disjointly contains $\mathcal A$ and $\mathcal B$ and the heteromorphisms defined by the adjunction. Naturality is crucial. |
|||
|
|