モナド (圏論) とは? - 日本語辞典 Mazii

Mazii

Trải nghiệm ứng dụng Mazii

Tra cứu

Từ vựng Hán tự Mẫu câu Ngữ pháp

Nhật - Nhật

Kết quả tra cứu tiếng Nhât của từ モナド (圏論)

モナド (圏論)

数学の一分野である圏論において、モナド（英語: monad）とは、モノイドに似た構造を備えた自己関手である。モナドは半順序集合上の閉包作用素の一般化や、双圏（英語: bicategory）上のモノイドに似た構造として捉えられ、随伴関手（または随伴1-セル）と強い関係を持つ。双対概念はコモナド（英語版）である。

Từ điển Nhật - Nhật

Các từ liên quan tới モナド (圏論)

圏論

ける非常に難しい問題を、より簡単な代数的問題に関連づけることである。例えば、点付き位相空間に対してその基本群を対応させる「自然な対応」は関手を用いて得られると考えることができる。基本群とホモロジー群のような「似た」数学的変換はしばしば「自然に」関連づけ

モナド

〖monad〗

射 (圏論)

射は双射だが、双射は必ずしも同型射ではないことである。例えば、可換環の圏において包含射 Z → Q は双射だが同型射ではない。しかし、全射かつ分裂単射であるような、もしくは単射かつ分裂全射であるような任意の射は同型射でなければならない。集合の圏 Set のように、任意の双射が同型射であるような圏は、均衡圏

核 (圏論)

f\circ k} は K から Y への零射である；射 k′: K′ → X であって f ∘ k′ が零射であるものが任意に与えられると，一意的な射 u: K′ → K が存在して，k ∘ u = k' と射を分解できる。多くの具体的な（英語版）文脈において，射 k よりも対象 K を「核」と呼んでいることに注意。それらの状況では，K

積 (圏論)

位相空間の圏における積は、各因子の台集合のデカルト積を台として積位相を入れた空間である。積位相はすべての射影が連続であるような最も粗い位相（英語版）である。一つの環 R 上の加群の圏における積は、台集合のデカルト積に成分ごとの加法と分配的な積を入れたものである。群の圏における積は、台集合のデカルト積に成分ごとの積を入れた群の直積によって与えられる。

モナド (プログラミング)

の返り値にうつす関数である。すなわちunit 関数は型 x の値をモナド型 M x の値へうつす多相な関数である。引数値変換の有無は定義されない（一般には値を変換せずに保持する（例:入力 1 =>出力 Maybe(1)）。 bind関数（ >>= とも）は「モナド的値」と「値をモナド的値

双対 (圏論)

圏論という数学の分野において，双対性（そうついせい，英: duality）は圏 C の性質と反対圏 Cop の双対的な性質の間の対応である．圏 C についてのステートメントが与えられると，各射の始域と終域を入れ替え，2つの射の合成の順序を入れ替えることによって，反対圏 Cop についての対応する双対命題が得られる．双対性