「F-終余代数」を解説文に含む見出し語の検索結果(1～9/9件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2016/11/23 10:19 UTC 版)「F代数」の記事における「F -終余代数」の解説双対的な方法で、同様の関係が最大不動点と...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2013/12/28 13:32 UTC 版)「始代数」の記事における「終余代数の例」の解説例えば、前と同じく集合の圏 Set におけ...
数学において、始代数 (しだいすう、英: initial algebra) とは、与えられた自己関手 F に対する F-代数の圏における始対象を言う。始代数の持つ始対象性 (initiality) は...
数学において、始代数 (しだいすう、英: initial algebra) とは、与えられた自己関手 F に対する F-代数の圏における始対象を言う。始代数の持つ始対象性 (initiality) は...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2013/12/28 13:32 UTC 版)「始代数」の記事における「計算機科学での利用」の解説リストや木構造など、プログラミングで...
数学の特に圏論におけるF-代数（エフだいすう、英: F-algebra）は、（自己）関手 F に従って定義される構造の一つで、リストや木構造のようなプログラミングで使われるデータ構造を表現する...
数学の特に圏論におけるF-代数（エフだいすう、英: F-algebra）は、（自己）関手 F に従って定義される構造の一つで、リストや木構造のようなプログラミングで使われるデータ構造を表現する...
数学の特に圏論における F-余代数 (エフよだいすう、英: F-coalgebra) は、(自己)関手 F によって定義される構造の一つである。代数や余代数を扱う文脈ではよく、シグ...
数学の特に圏論における F-余代数 (エフよだいすう、英: F-coalgebra) は、(自己)関手 F によって定義される構造の一つである。代数や余代数を扱う文脈ではよく、シグ...
< 前の結果 | 次の結果 >