余代数射
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/03/24 02:14 UTC 版)
( C , Δ , ε ) {\displaystyle (C,\Delta ,\varepsilon )} 、 ( D , Δ ′ , ε ′ ) {\displaystyle (D,\Delta ',\varepsilon ')} を K {\displaystyle K} -余代数とする。 K {\displaystyle K} -線型写像 f : C → D {\displaystyle f:C\to D} が Δ ′ ∘ f = ( f ⊗ f ) ∘ Δ , {\displaystyle \Delta '\circ f=(f\otimes f)\circ \Delta ,} ε ′ ∘ f = ε {\displaystyle \varepsilon '\circ f=\varepsilon } を満たすとき f {\displaystyle f} を余代数射(coalgebra morphism)という。これは以下の図式が可換であることと同値:
※この「余代数射」の解説は、「余代数」の解説の一部です。
「余代数射」を含む「余代数」の記事については、「余代数」の概要を参照ください。
- 余代数射のページへのリンク