In many categories, terminal objects are unique up to isomorphism.
多くの圏において、終対象は同型に関して一意である。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★