自然変換 (Natural Transformation)
カテゴリー理論における概念で、2つの関手間の構造を保存する写像。この文脈では、結合の広さの異なるレベル間で状態を「忘れる」操作が、規制上の状態遷移と可換であることを形式的に証明するために用いられる。
関連用語
この用語を使っている記事
(なし)
元の表記（英語）
(なし)
自然変換 (Natural Transformation)
カテゴリー理論における概念で、2つの関手間の構造を保存する写像。この文脈では、結合の広さの異なるレベル間で状態を「忘れる」操作が、規制上の状態遷移と可換であることを形式的に証明するために用いられる。
(なし)
(なし)