「F -始代数」を解説文に含む見出し語の検索結果(1～10/20件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2016/11/23 10:19 UTC 版)「F代数」の記事における「F -始代数」の解説詳細は「始代数」を参照 与えられた自己函手...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2013/12/28 13:32 UTC 版)「始代数」の記事における「始代数の例」の解説例えば、集合の圏 Set において、終対象で...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2013/12/28 13:32 UTC 版)「始代数」の記事における「計算機科学での利用」の解説リストや木構造など、プログラミングで...
数学において、始代数 (しだいすう、英: initial algebra) とは、与えられた自己関手 F に対する F-代数の圏における始対象を言う。始代数の持つ始対象性 (initiality) は...
数学において、始代数 (しだいすう、英: initial algebra) とは、与えられた自己関手 F に対する F-代数の圏における始対象を言う。始代数の持つ始対象性 (initiality) は...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2013/12/28 13:32 UTC 版)「始代数」の記事における「終余代数の例」の解説例えば、前と同じく集合の圏 Set におけ...
数学の特に圏論におけるF-代数（エフだいすう、英: F-algebra）は、（自己）関手 F に従って定義される構造の一つで、リストや木構造のようなプログラミングで使われるデータ構造を表現する...
数学の特に圏論におけるF-代数（エフだいすう、英: F-algebra）は、（自己）関手 F に従って定義される構造の一つで、リストや木構造のようなプログラミングで使われるデータ構造を表現する...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/11 14:31 UTC 版)「Catamorphism」の記事における「圏論における Catamorphism」の解...
ナビゲーションに移動検索に移動圏論において、Catamorphism(ギリシャ語: κατά = 下方へ または ～に従って; μορφή = 形式 または 形)は、始代数から他の代数への唯一の準同型...
< 前の結果 | 次の結果 >