Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
counit-unit_adjunction [2016/01/03 15:52] nikolaj |
counit-unit_adjunction [2016/01/03 15:54] nikolaj |
||
|---|---|---|---|
| Line 48: | Line 48: | ||
| ^ ${\mathrm{Hom}}(FX,Y)\cong{\mathrm{Hom}}(X,GY)$ ^ | ^ ${\mathrm{Hom}}(FX,Y)\cong{\mathrm{Hom}}(X,GY)$ ^ | ||
| + | |||
| + | It's not that hard do the construction in both directions, after you've written down the types of $\eta,\epsilon, F, G$ before you. | ||
| == As universals == | == As universals == | ||
