The equivalence between the representable functors was established by exhibiting a natural isomorphism between them.
表現可能な関手間の同値は、それらの間の各成分が同型となる自然変換を示すことで確立された。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
