Join inverse categories and reversible recursion
scientific article; zbMATH DE number 6688101
scientific article