https://1library.org/document/zgw46m37-towards-a-good-notion-of-categories-of-logics.html