Равенство морфизмов и теорема когеррентности для бизамкнутых категорий А.А. Бабаев (1981) Zapiski naucnych seminarov Leningradskogo
Сохранение эквивалентности выводов при редукции глубины формул С.В. Соловьев (1979) Zapiski naucnych seminarov Leningradskogo
Теорема когеррентности для канонических морфизмов в декартово замкнутых категориях A.A. Бабаев, С.В. Соловьев (1979) Zapiski naucnych seminarov Leningradskogo