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