Теорема когеррентности для канонических морфизмов в декартово замкнутых категориях A.A. Бабаев; С.В. Соловьев — 1979 Zapiski naucnych seminarov Leningradskogo