https://123dok.net/document/zlg18do6-the-free-adjunction.html