Specifically, if "I"1 and "I"2 are two different initial objects, then there is a unique isomorphism between them.
А именно, если "I"1 and "I"2 — начальный объекты, между ними существует изоморфизм, причем единственный.