This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
counit-unit_adjunction [2016/01/03 15:52]
counit-unit_adjunction [2016/01/03 15:54] (current)
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 ==
Link to graph
Log In
Improvements of the human condition