翻訳と辞書 Words near each other ・ クライスラー・プロウラー ・ クライスラー・ヘミエンジン ・ クライスラー・ホライズン ・ クライスラー・ボイジャー ・ クライスラー・ルバロン ・ クライスラー・レバロン ・ クライスラー社 ・ クライスラー美術館 ・ クライスラー農園の戦い ・ クライスラー選手権 ・ クライスリ圏 ・ クライスレリアーナ ・ クライズデール・テリア ・ クライズデール侯 ・ クライズデール侯爵 ・ クライズラー&カンパニー ・ クライゼンフラスコ ・ クライゼン縮合 ・ クライゼン転位 ・ クライチェク Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク クライスリ圏 ： ミニ英和和英辞書 クライスリ圏[くらいすりけん] ===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 圏 ： [けん] 　 1. (n,n-suf) sphere　2. circle　3. range クライスリ圏 ： ウィキペディア日本語版 クライスリ圏[くらいすりけん] 圏論においてクライスリ圏（クライスリけん、）とは、『すべてのモナド〔なお、モナド（余モナド）は当初、スタンダード構成（standard construction）と呼ばれていた。〕は関手の随伴対から得られるか』というP. J. Hiltonらの予想に対し、Heinrich Kleisliが解答をするにあたって導入した圏である〔Kleisli(1965)〕。 == 定義 == === クライスリトリプル（Kleisli triple） === 圏 C 上のクライスリトリプル（Kleisli triple）とは、関手 T : C → C、自然変換 η（ηA : A → T A for A ∈ Obj(C)）、射 f : A → T B に対して射 f * : T A → T B を与える操作 _ * からなる三つ組 （T, η, _ *）で、以下 * ηA * = 1T A * f *・ηA = f ただし、f : A → T B * g *・f * = (g *・f) * ただし、f : A → T B かつ g : B → T C を満たすものを言う。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「クライスリ圏」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.