出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2016/11/23 10:19 UTC 版)「F代数」の記事における「厳密な定義」の解説圏 C とその上の自己関手 F: C → C...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2016/11/23 10:19 UTC 版)「F代数」の記事における「F -終余代数」の解説双対的な方法で、同様の関係が最大不動点と...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2016/11/23 10:19 UTC 版)「F代数」の記事における「F -始代数」の解説詳細は「始代数」を参照 与えられた自己函手...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/11 14:31 UTC 版)「Catamorphism」の記事における「圏論における Catamorphism」の解...

数学の特に圏論におけるF-代数（エフだいすう、英: F-algebra）は、（自己）関手 F に従って定義される構造の一つで、リストや木構造のようなプログラミングで使われるデータ構造を表現する...

数学の特に圏論におけるF-代数（エフだいすう、英: F-algebra）は、（自己）関手 F に従って定義される構造の一つで、リストや木構造のようなプログラミングで使われるデータ構造を表現する...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/23 09:41 UTC 版)「多元環」の記事における「圏論」の解説より一般化された意味での「代数」の概念が圏論（ある...

ナビゲーションに移動検索に移動圏論において、Catamorphism(ギリシャ語: κατά = 下方へ または ～に従って; μορφή = 形式 または 形)は、始代数から他の代数への唯一の準同型...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2013/12/28 13:32 UTC 版)「始代数」の記事における「始代数の例」の解説例えば、集合の圏 Set において、終対象で...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2013/12/28 13:32 UTC 版)「始代数」の記事における「計算機科学での利用」の解説リストや木構造など、プログラミングで...