Определение канонического изоморфизма

[pooh__]

Постоянно слышу, про эти самые канонические изоморфизмы, правда в категории векторных пространств. И вроде бы понятно что это. Те когда мы без выбора конкретного базиса его строим.
Но хотелось бы узнать его точное определение, причем в любой категории(а такое вообще есть?)
Слышал, что это как-то с гомологической алгеброй связано(?)
По другому еще слышал, что канонический - когда он один.