См. лекции Р.М.Федоров (2013) "Категории и главные расслоения. Или: чем отличается изоморфизм от канонического изоморфизма?" http://www.mathnet.ru/php/person.phtml?option_lang=rus&personid=14465
( через 6 лет, только что заметил ссылку: http://posic.livejournal.com/1349067.html?thread=5197771#t5197771 )