https://123dok.net/document/y8g7d950-conditions-syntaxiques-plongement-prolongements-foncteurs-extensions-kan.html