0962132人目の素数さん垢版 | 大砲2019/12/10(火) 00:57:26.69ID:LWL+Dzup https://ja.wikipedia.org/wiki/%E6%99%AE%E9%81%8D%E6%80%A7 の >常に射 g : A → Yが一意に存在して、次の図を可換にする。 って、次の図を可換にする射 g : A → Yが一つだけある(次の図を可換にしない射 g : A → Yは他にあってもいい)ってことでいいですよね?