「計算機科学における応用」を解説文に含む見出し語の検索結果(1~6/6件中)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/01/28 09:55 UTC 版)「クライスリ圏」の記事における「計算機科学における応用」の解説計算機科学者のエウジニオ・...
圏論において、圏がデカルト閉(デカルトへい、英語: cartesian closed)であるとは、大雑把に言えば任意の二つの対象の直積上で定義される射が直積因子の一方で定義される射と自然に同一...
圏論において、圏がデカルト閉(デカルトへい、英語: cartesian closed)であるとは、大雑把に言えば任意の二つの対象の直積上で定義される射が直積因子の一方で定義される射と自然に同一...
圏論において、圏がデカルト閉(デカルトへい、英語: cartesian closed)であるとは、大雑把に言えば任意の二つの対象の直積上で定義される射が直積因子の一方で定義される射と自然に同一...
圏論においてクライスリ圏(クライスリけん、英: Kleisli category)とは、『すべてのスタンダード構成は関手の随伴対から得られるか』という予想に対し、ハインリッヒ・クライスリが解答...
圏論においてクライスリ圏(クライスリけん、英: Kleisli category)とは、『すべてのスタンダード構成は関手の随伴対から得られるか』という予想に対し、ハインリッヒ・クライスリが解答...
< 前の結果 | 次の結果 >