https://9dok.net/document/z1dw078d-adjungierte-funktoren.html