https://123dok.net/document/yr30v53p-asymmetric-combination-of-logics-is-functorial-a-survey.html