https://ja.wikipedia.org/wiki/%E6%99%AE%E9%81%8D%E6%80%A7

>常に射 g : A → Yが一意に存在して、次の図を可換にする。
って、次の図を可換にする射 g : A → Yが一つだけある(次の図を可換にしない射 g : A → Yは他にあってもいい)ってことでいいですよね?