https://123dok.net/document/zkwow981-foncteurs-représentables-foncteurs-adjoints.html