(mathematics) In an adjunction, a natural transformation from the composition of the left adjoint functor with the right adjoint functor to the identity functor of the domain of the right adjoint functor.
counit
多くの随伴において、余単位は左随伴と右随伴の合成から右随伴の定義域上の恒等関手への自然変換として与えられる。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
