モナド 【monad】
モナド
モナド
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/09/10 14:19 UTC 版)
『ペールゼン・ファイルズ』第10話から第12話までの舞台。古代クエント文明の遺産であるエネルギーコアを取り囲むように人工の外郭が設置されていった惑星で、所有者が変わる度に新たな外殻が取り付けられていった。バララントに制圧されてからは惑星全土が強固に要塞化され、難攻不落を誇った。百年戦争末期、ギルガメス軍はこの惑星を攻略するために動員数1億2000万にも及ぶ空前絶後の大兵力を投入する。しかし、作戦終盤にエネルギーコアが謎の暴走を起こしたことで消滅、ギルガメス、バララント両軍が全滅するという結果に終わる。
※この「モナド」の解説は、「アストラギウス銀河」の解説の一部です。
「モナド」を含む「アストラギウス銀河」の記事については、「アストラギウス銀河」の概要を参照ください。
モナド
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/09/17 18:59 UTC 版)
「Ergo Proxy」の記事における「モナド」の解説
Proxy XIII。モスコドームの創造主。リルが最初に会ったプラクシーでもある。
※この「モナド」の解説は、「Ergo Proxy」の解説の一部です。
「モナド」を含む「Ergo Proxy」の記事については、「Ergo Proxy」の概要を参照ください。
モナド
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/28 14:11 UTC 版)
全ての随伴〈F, G, ε, η〉はDにおける関連するモナド〈T, η, μ〉に持ち上げることができる。関手 T : D → D {\displaystyle T:{\mathcal {D}}\to {\mathcal {D}}} はT = GFで与えられる。モナドのunit η : 1 D → T {\displaystyle \eta :1_{\mathcal {D}}\to T} は随伴のunit ηそのものである。乗法の変換 μ : T 2 → T {\displaystyle \mu :T^{2}\to T\,} はμ = GεFで与えられる。双対的に、〈FG, ε, FηG〉はCにおけるコモナドを定める。 全てのモナドが随伴から作ることができる。実際、典型的なモナドは多くの随伴から上の方法を用いて構成されている。2つの構成Eilenberg–Moore algebraとクライスリ圏はモナドから随伴を構成する問題に対する、2つの両極端の解である。
※この「モナド」の解説は、「随伴関手」の解説の一部です。
「モナド」を含む「随伴関手」の記事については、「随伴関手」の概要を参照ください。
「モナド」の例文・使い方・用例・文例
モナドと同じ種類の言葉
- モナドのページへのリンク
