Гордиенко А.С. - Теория категорий - 2. Изоморфизм в категориях ...