2 時半起床.
今朝は抑鬱感も不安感も無い. それに最近にしてはよく眠れた.
数学をやる.
解析の復習. 集中する.
食欲は無いが朝食をとる.
キャベツと目玉焼きとコーヒー.
午前中も数学をやる.
圏論の復習.
久し振りに数学をやるせいか, 頭が疲れた.
午後からアルコール依存症の自助グループに行く.
人数は少なかったがいいミーティングだった.
買い物をして帰宅.
夕食をとる.
ビーフステーキと玉葱炒め.
元気を出したかった.
次第に鬱が辛くなってくる.
それでも今日は体調がよかった.
早めに布団に入る.
2023年09月20日
2023年09月19日
鬱と不安感が辛い中, いろいろやる
3 時起床.
昨晩もあまり眠れず, 鬱と不安感も辛いが頑張って起きた.
昨日の午後から感じている, 生きていくことが怖いという不安に相変わらず苛まれている.
数学をやる.
解析の復習.
体調が今一つのため, 頭が働かず集中もできない.
一つひとつの計算を確認しながらゆっくりやる.
朝までやって区切りを付ける.
食欲が無いが無理をして朝食をとる.
キャベツと目玉焼きとコーヒー.
午前中はアルコール依存症の自助グループに行く.
今日は自分が現在抱えている不安について話した. しかし不安感は解消されず.
買い物をして帰宅.
一休みしてから数学をやる.
モナド的関手 (monadic functor) の復習.
鬱と不安感のせいで考えるのがとても難しい.
できる範囲でゆっくりやる.
それから本を読む.
太宰治『晩年』から「猿面冠者」.
途中で疲れてしまって最後まで読めなかったがとても面白かった.
夕食は簡単にパスタで済ませる.
ペペロンチーノ.
ゆっくり食べているうちに鬱と不安感が少し和らいできた.
それにいろいろ行動したせいか疲労感もある.
今日はよく眠れるかも知れない.
就寝前の抗鬱薬と頓服を飲んで布団に入る.
昨晩もあまり眠れず, 鬱と不安感も辛いが頑張って起きた.
昨日の午後から感じている, 生きていくことが怖いという不安に相変わらず苛まれている.
数学をやる.
解析の復習.
体調が今一つのため, 頭が働かず集中もできない.
一つひとつの計算を確認しながらゆっくりやる.
朝までやって区切りを付ける.
食欲が無いが無理をして朝食をとる.
キャベツと目玉焼きとコーヒー.
午前中はアルコール依存症の自助グループに行く.
今日は自分が現在抱えている不安について話した. しかし不安感は解消されず.
買い物をして帰宅.
一休みしてから数学をやる.
モナド的関手 (monadic functor) の復習.
鬱と不安感のせいで考えるのがとても難しい.
できる範囲でゆっくりやる.
それから本を読む.
太宰治『晩年』から「猿面冠者」.
途中で疲れてしまって最後まで読めなかったがとても面白かった.
夕食は簡単にパスタで済ませる.
ペペロンチーノ.
ゆっくり食べているうちに鬱と不安感が少し和らいできた.
それにいろいろ行動したせいか疲労感もある.
今日はよく眠れるかも知れない.
就寝前の抗鬱薬と頓服を飲んで布団に入る.
2023年09月18日
夜眠れない 〜 午後から不安感に苦しむ
9 時起床.
昨晩は明け方まで眠れなかった.
このところ, 夜眠れない日が続いている.
頑張って午前中に起きても, 睡眠不足で体がだるい.
朝の鬱も辛い.
朝食をとる.
キャベツと目玉焼きとコーヒー.
食欲が無いが無理をして食べる.
倦怠感が酷いので昼過ぎまで横になって休む.
午後から散歩を兼ねて出かける.
銀行の ATM で今週の生活費をおろして, それから買い物に行く.
暑い中歩くのは大変だったが, 体を動かしたせいか倦怠感は無くなった.
しかし帰宅してから不安感が強くなってくる.
苦しい.
生きていくのが怖いという思いに襲われる.
今日は早めに休むことにして, 食事をとる.
豚キムチ.
就寝前の抗鬱薬と一緒に頓服を飲んで布団に入る.
今日はぐっずり眠りたい.
昨晩は明け方まで眠れなかった.
このところ, 夜眠れない日が続いている.
頑張って午前中に起きても, 睡眠不足で体がだるい.
朝の鬱も辛い.
朝食をとる.
キャベツと目玉焼きとコーヒー.
食欲が無いが無理をして食べる.
倦怠感が酷いので昼過ぎまで横になって休む.
午後から散歩を兼ねて出かける.
銀行の ATM で今週の生活費をおろして, それから買い物に行く.
暑い中歩くのは大変だったが, 体を動かしたせいか倦怠感は無くなった.
しかし帰宅してから不安感が強くなってくる.
苦しい.
生きていくのが怖いという思いに襲われる.
今日は早めに休むことにして, 食事をとる.
豚キムチ.
就寝前の抗鬱薬と一緒に頓服を飲んで布団に入る.
今日はぐっずり眠りたい.
2023年09月17日
買い物には行けた
11 時起床.
鬱が辛いが, 何とか午前中には起きられた.
早めの昼食をとる.
パンとコーヒー.
鬱が苦しいので再び寝込む.
そのまま夕方まで起きられず.
夕方になって少し体調が回復したので買い物に行く.
足を一歩前に出すのも辛い.
野菜と肉などを買う.
帰宅して食事.
ポークソテーと玉葱炒め.
この数日, 寝込んでばかりで何もできていない.
明日はどうにかなるのだろうか.
早めに休む.
鬱が辛いが, 何とか午前中には起きられた.
早めの昼食をとる.
パンとコーヒー.
鬱が苦しいので再び寝込む.
そのまま夕方まで起きられず.
夕方になって少し体調が回復したので買い物に行く.
足を一歩前に出すのも辛い.
野菜と肉などを買う.
帰宅して食事.
ポークソテーと玉葱炒め.
この数日, 寝込んでばかりで何もできていない.
明日はどうにかなるのだろうか.
早めに休む.
2023年09月16日
デイケアの友人と会う
8 時半起床.
なかなか早起きはできないが, 今は午前中に起きることに努力しようと思う.
鬱が辛くて何もできない.
コーヒーを淹れて気持ちを落ち着ける.
昼からデイケアの友人と会う.
一緒にかき氷を食べた.
現在の体調や, 生活のことを話す.
夕方前に帰宅.
料理をする気力が無く手抜きをする.
バジルのパスタ.
鬱が辛い.
何もできない日が続いている.
早めに布団に入る.
なかなか早起きはできないが, 今は午前中に起きることに努力しようと思う.
鬱が辛くて何もできない.
コーヒーを淹れて気持ちを落ち着ける.
昼からデイケアの友人と会う.
一緒にかき氷を食べた.
現在の体調や, 生活のことを話す.
夕方前に帰宅.
料理をする気力が無く手抜きをする.
バジルのパスタ.
鬱が辛い.
何もできない日が続いている.
早めに布団に入る.
2023年09月15日
だらだらと一日を過ごしてしまう
7 時半起床.
鬱と倦怠感が辛いが何とか起きる.
倦怠感はおそらくこの夏の暑さにやられたものだろう.
食欲が無いので朝食はとらなかった.
昼前に買い物に行く.
野菜や肉を買う.
帰宅して一休みしてから本を読む.
太宰治『晩年』から「道化の華」.
これは, 女性と心中をして自分一人助かった作家が, そのことを小説に書く様子を描いている.
「作家は、おのれのすがたをかき出してはいけない。それは作家の敗北である。美しい感情を以て、人は悪い文学を作る。」
読了.
夕方になってから食事をとる.
ペペロンチーノ.
気力が出ないと簡単なものしか作れない.
早めに布団に入る.
鬱と倦怠感が辛いが何とか起きる.
倦怠感はおそらくこの夏の暑さにやられたものだろう.
食欲が無いので朝食はとらなかった.
昼前に買い物に行く.
野菜や肉を買う.
帰宅して一休みしてから本を読む.
太宰治『晩年』から「道化の華」.
これは, 女性と心中をして自分一人助かった作家が, そのことを小説に書く様子を描いている.
「作家は、おのれのすがたをかき出してはいけない。それは作家の敗北である。美しい感情を以て、人は悪い文学を作る。」
読了.
夕方になってから食事をとる.
ペペロンチーノ.
気力が出ないと簡単なものしか作れない.
早めに布団に入る.
2023年09月14日
鬱が苦しい
朝の鬱が辛くて起き上がれない.
10 時に何とか起きる.
何もやる気が起きない.
遅い朝食をとる.
キャベツと目玉焼きとコーヒー.
午後は読書をしたいと思っていたが, 気分の落ち込みが酷くとてもできそうにない.
自分に対する罪悪感が強い.
今日は何もできない.
まだ夕方にもなっていないが布団に入る.
10 時に何とか起きる.
何もやる気が起きない.
遅い朝食をとる.
キャベツと目玉焼きとコーヒー.
午後は読書をしたいと思っていたが, 気分の落ち込みが酷くとてもできそうにない.
自分に対する罪悪感が強い.
今日は何もできない.
まだ夕方にもなっていないが布団に入る.
2023年09月13日
終日体調が良くない
朝から鬱が辛い. なかなか起き上がれない.
11 時に起きる.
体がだるい. このだるさは, 暑さにやられたということもあるのではないかと思う.
体を動かすために買い物に行く.
野菜や肉などを買う.
大した距離を歩いたわけではないのに, くたくたになってしまう.
横になって休む.
鬱が辛くなってくる.
何とか起き上がって食事.
鶏肉と白菜の鍋.
鬱が苦しい.
今日は買い物と食事しかできなかった.
まだ明るいが布団に入る.
11 時に起きる.
体がだるい. このだるさは, 暑さにやられたということもあるのではないかと思う.
体を動かすために買い物に行く.
野菜や肉などを買う.
大した距離を歩いたわけではないのに, くたくたになってしまう.
横になって休む.
鬱が辛くなってくる.
何とか起き上がって食事.
鶏肉と白菜の鍋.
鬱が苦しい.
今日は買い物と食事しかできなかった.
まだ明るいが布団に入る.
2023年09月12日
新宿に行く
3 時半起床.
今日はいつもの鬱が無い.
穏やかに起き上がれた.
起きてコーヒーを淹れる.
コーヒーの香りで癒される.
それから数学をやる. 圏論の復習.
朝までやって区切りを付ける.
午前中はアルコール依存症の自助グループに行く.
参加人数は少なかったがいいミーティングだった.
そのあと, 新宿に行く.
本を買いたかったのと, 絵の具を買い足したかった.
紀伊國屋書店にいって数学の本を買う.
それから世界堂に行って絵の具を買う.
数学も絵も最近まともにできていないが, どうにか再開したい.
それにしても新宿は人が多くて非常に疲れる.
くたくたになった.
帰宅して横になって休む.
夕方に食事.
ペペロンチーノ.
疲れているときには, 調理が簡単な料理になってしまう.
まだ早いが布団に入る.
今日はいつもの鬱が無い.
穏やかに起き上がれた.
起きてコーヒーを淹れる.
コーヒーの香りで癒される.
それから数学をやる. 圏論の復習.
朝までやって区切りを付ける.
午前中はアルコール依存症の自助グループに行く.
参加人数は少なかったがいいミーティングだった.
そのあと, 新宿に行く.
本を買いたかったのと, 絵の具を買い足したかった.
紀伊國屋書店にいって数学の本を買う.
それから世界堂に行って絵の具を買う.
数学も絵も最近まともにできていないが, どうにか再開したい.
それにしても新宿は人が多くて非常に疲れる.
くたくたになった.
帰宅して横になって休む.
夕方に食事.
ペペロンチーノ.
疲れているときには, 調理が簡単な料理になってしまう.
まだ早いが布団に入る.
数学: モナド $(T,\eta,\mu)$ 上の随伴の圏 $\mathbf{Adj}_T$
モナド ── 定義と随伴により引き起こされるモナド,
随伴から導かれるモナドの例 ── maybe モナド
モナドから導かれる随伴 (1) ── Eilenberg-Moore 圏
モナドから導かれる随伴 (2) ── Kleisli 圏
モナド ── Kleisli 圏の例 (続き) の続き.
圏 $\mathrm{C}$ 上の与えられたモナド $(T,\eta,\mu)$ に対して, $T$ 上の随伴のなす圏 $\mathbf{Adj}_T$ を次のように定義する.
$\mathbf{Adj}_T$ の対象は, 随伴
\begin{equation*}
\DeclareMathOperator{\Aff}{Aff}
\DeclareMathOperator{\Ar}{Ar}
\DeclareMathOperator{\Arccos}{Arccos}
\DeclareMathOperator{\Arcsin}{Arcsin}
\DeclareMathOperator{\Arr}{Arr}
\DeclareMathOperator{\arr}{arr}
\DeclareMathOperator{\Aut}{Aut}
\DeclareMathOperator{\Auto}{Auto}
\DeclareMathOperator{\Axiom}{Axiom}
\DeclareMathOperator{\Bilin}{Bilin}
\DeclareMathOperator{\card}{card}
\DeclareMathOperator{\Catelem}{\int}
\DeclareMathOperator{\Cocone}{Cocone}
\DeclareMathOperator{\Cod}{cod}
\DeclareMathOperator{\Codomain}{cod}
\DeclareMathOperator{\Coin}{coin}
\DeclareMathOperator{\coker}{coker}
\DeclareMathOperator{\Colim}{colim}
\DeclareMathOperator{\comp}{comp}
\DeclareMathOperator{\Conf}{Conf}
\DeclareMathOperator{\Conj}{Conj}
\DeclareMathOperator{\Dom}{dom}
\DeclareMathOperator{\Domain}{dom}
\DeclareMathOperator{\Edge}{Edge}
\DeclareMathOperator{\Ev}{ev}
\DeclareMathOperator{\GCD}{gcd}
\DeclareMathOperator{\Gr}{Gr}
\DeclareMathOperator{\Hom}{Hom}
\DeclareMathOperator{\Id}{id}
\DeclareMathOperator{\IM}{Im}
\DeclareMathOperator{\im}{im}
\DeclareMathOperator{\Ind}{ind}
\DeclareMathOperator{\INIT}{init}
\DeclareMathOperator{\iso}{iso}
\DeclareMathOperator{\LCM}{lcm}
\DeclareMathOperator{\Map}{Map}
\DeclareMathOperator{\mor}{arr}
\DeclareMathOperator{\Nat}{Nat}
\DeclareMathOperator{\Ob}{Ob}
\DeclareMathOperator{\ob}{ob}
\DeclareMathOperator{\ord}{ord}
\DeclareMathOperator{\Path}{Path}
\DeclareMathOperator{\PConf}{PConf}
\DeclareMathOperator{\Point}{Point}
\DeclareMathOperator{\Prob}{Prob}
\DeclareMathOperator{\RE}{Re}
\DeclareMathOperator{\Res}{res}
\DeclareMathOperator{\Sect}{Sect}
\DeclareMathOperator{\SF}{SF}
\DeclareMathOperator{\SkelCat}{sk}
\DeclareMathOperator{\Spec}{Spec}
\DeclareMathOperator{\Sq}{Sq}
\DeclareMathOperator{\Struct}{Struct}
\DeclareMathOperator{\Sub}{Sub}
\DeclareMathOperator{\Sym}{Sym}
\DeclareMathOperator{\TERM}{term}
\DeclareMathOperator{\Vertex}{Vert}
\newcommand{\Abs}[1]{\lvert{#1}\rvert}
\newcommand{\Bs}{\backslash}
\newcommand{\Cdot}{\,\cdot^{\mathrm{op}}}
\newcommand{\Comma}[2]{{{#1}\!\downarrow\!{#2}}}
\newcommand{\CommaCat}[2]{(#1/#2)}
\newcommand{\Complement}[1]{{\smash[t]{\mathstrut #1}}^{\mathrm{c}}}
\newcommand{\Emph}[1]{\textit{#1}}
\newcommand{\Eqclass}[4]{{#1#2#3}_{#4}}
\newcommand{\EqCls}[2]{{\left[#1\right]}_{#2}}
\newcommand{\Eqcls}[1]{\left[#1\right]}
\newcommand{\Expt}[2]{{\smash[t]{\mathstrut #1}}^{\mathstrut #2}}
\newcommand{\FnRest}[2]{{#1}|{#2}}
\newcommand{\Func}[2]{\mathrm{Func}(#1,#2)}
\newcommand{\g}{\varg}
\newcommand{\Inc}[2]{\mathrm{incl}\left(#1,#2\right)}
\newcommand{\Incl}[2]{\mathrm{incl}_{#1}^{#2}}
\newcommand{\InclArrow}[2]{\morphism(0,0)/>->/45<\0\,>[\Incl{#1}{#2} : {#1}\,\,`{#2};]}
\newcommand{\Ip}{\amalg}
\newcommand{\Lb}[1]{\mathrm{lb}(#1)}
\newcommand{\LH}{\mathrm{LH}}
\newcommand{\Lowerset}[1]{\downarrow\!\!{#1}}
\newcommand{\Leadsto}{\quad\leadsto\quad}
\newcommand{\Lrsquigarrow}{\quad\leftrightsquigarrow\quad}
\newcommand{\Mb}[1]{\mathbf{#1}}
\newcommand{\Mbb}[1]{\mathbb{#1}}
\newcommand{\Mi}[1]{\mathit{#1}}
\newcommand{\Mlb}[1]{\mathrm{mlb}(#1)}
\newcommand{\Mr}[1]{\mathrm{#1}}
\newcommand{\Ms}[1]{\mathscr{#1}}
\newcommand{\Mt}[1]{\mathtt{#1}}
\newcommand{\Mub}[1]{\mathrm{mub}(#1)}
\newcommand{\newinf}{\mathop{\mathrm{inf}\vphantom{\mathrm{sup}}}}
\newcommand{\newsup}{\mathop{\smash{\mathrm{sup}}}}
\newcommand{\Opp}[1]{#1^{\mathrm{op}}}
\newcommand{\Prj}[2]{\mathrm{proj}\left(#1,#2\right)}
\newcommand{\Proj}[2]{\mathrm{proj}^{#1}_{#2}}
\newcommand{\Pw}{\mathbf{P}}
\newcommand{\Rn}[1]{{\bmdefine{R}}^{#1}}
\newcommand{\q}{\hspace{1em}}
\newcommand{\qq}{\hspace{0.5em}}
\newcommand{\Rel}[1]{\langle{#1}\rangle}
\newcommand{\Rest}[2]{{#1}|{#2}}
\newcommand{\Slash}[1]{{\ooalign{\hfil/\hfil\crcr$#1$}}}
\newcommand{\SliCat}[2]{{#1}\,\big/\,{#2}}
\newcommand{\Src}{d^{0,\mathrm{op}}}
\newcommand{\ssqrt}[1]{\sqrt{\smash[b]{\mathstrut #1}}}
\newcommand{\Tgt}{d^{1,\mathrm{op}}}
\newcommand{\TwArCat}[1]{\mathrm{Tw}(#1)}
\newcommand{\Ub}[1]{\mathrm{ub}(#1)}
\newcommand{\Un}[1]{{1}_{#1}}
\newcommand{\Upperset}[1]{\uparrow\!\!{#1}}
\newcommand{\VectCat}[1]{#1 \mathchar`- \mathbf{Vect}}
\newcommand{\VS}{\vspace*{-1ex}}
\newcommand{\Wbar}[1]{\widebar{#1}}
\newcommand{\Ab}{\mathbf{Ab}}
\newcommand{\Adj}{\mathbf{Adj}}
\newcommand{\Affine}{\mathbf{Affine}}
\newcommand{\Ban}{\mathbf{Ban}}
\newcommand{\bbDelta}{\Delta\mkern-12mu\Delta}
\newcommand{\Card}{\mathbf{Card}}
\newcommand{\CAT}{\mathbf{CAT}}
\newcommand{\Cat}{\mathbf{Cat}}
\newcommand{\cgHaus}{\mathbf{cgHaus}}
\newcommand{\Ch}{\mathbf{Ch}}
\newcommand{\cHaus}{\mathbf{cHaus}}
\newcommand{\Cluster}{\mathbf{Cluster}}
\newcommand{\CMonoid}{\mathbf{CMonoid}}
\newcommand{\CRing}{\mathbf{CRing}}
\newcommand{\DirGraph}{\mathbf{DirGraph}}
\newcommand{\End}{\mathbf{End}}
\newcommand{\Euclid}{\mathbf{Euclid}}
\newcommand{\Field}{\mathbf{Field}}
\newcommand{\Fin}{\mathbf{Fin}}
\newcommand{\FinMetric}{\mathbf{FinMetric}}
\newcommand{\Four}{\mathbbm{4}}
\newcommand{\Graph}{\mathbf{Graph}}
\newcommand{\GrMod}{\mathbf{GrMod}}
\newcommand{\Grp}{\mathbf{Grp}}
\newcommand{\Group}{\mathbf{Group}}
\newcommand{\Groupoid}{\mathbf{Groupoid}}
\newcommand{\Haus}{\mathbf{Haus}}
\newcommand{\Htpy}{\mathbf{Htpy}}
\newcommand{\Man}{\mathbf{Man}}
\newcommand{\Mapsdown}{\rotatebox{270}{$\mapsto$}}
\newcommand{\Mapsup}{\rotatebox{90}{$\mapsto$}}
\newcommand{\Mat}{\mathbf{Mat}}
\newcommand{\Meas}{\mathbf{Meas}}
\newcommand{\Measure}{\mathbf{Measure}}
\newcommand{\Mod}{\mathbf{Mod}}
\newcommand{\Model}{\mathbf{Model}}
\newcommand{\Mon}{\mathbf{Mon}}
\newcommand{\Monoid}{\mathbf{Monoid}}
\newcommand{\oMega}{\bbomega}
\newcommand{\One}{\mymathbb{1}}
\newcommand{\Ord}{\mathrm{Ord}}
\newcommand{\PCluster}{\mathbf{PCluster}}
\newcommand{\POs}{\mathbf{Poset}}
\newcommand{\Poset}{\mathbf{Poset}}
\newcommand{\PROJ}{\mathbf{Proj}}
\newcommand{\Psh}{\mathbf{Psh}}
\newcommand{\Ring}{\mathbf{Ring}}
\newcommand{\Rng}{\mathbf{Rng}}
\newcommand{\SET}{\mathbf{SET}}
\newcommand{\Set}{\mathbf{Set}}
\newcommand{\setmid}{\mathrel{}\middle|\mathrel{}}
\newcommand{\Sh}{\mathbf{Sh}}
\newcommand{\Shv}{\mathbf{Shv}}
\newcommand{\Three}{\mymathbb{3}}
\renewcommand{\Top}{\mathbf{Top}}
\newcommand{\Two}{\mymathbb{2}}
\newcommand{\Vect}{\mathbf{Vect}}
\newcommand{\Zero}{\mymathbb{0}}
\newcommand{\sA}{\mathscr{A}}
\newcommand{\sB}{\mathscr{B}}
\newcommand{\sC}{\mathscr{C}}
\newcommand{\sD}{\mathscr{D}}
\newcommand{\sE}{\mathscr{E}}
\newcommand{\sF}{\mathscr{F}}
\newcommand{\sG}{\mathscr{G}}
\newcommand{\sH}{\mathscr{H}}
\newcommand{\sI}{\mathscr{I}}
\newcommand{\sJ}{\mathscr{J}}
\newcommand{\sK}{\mathscr{K}}
\newcommand{\sL}{\mathscr{L}}
\newcommand{\sM}{\mathscr{M}}
\newcommand{\sN}{\mathscr{N}}
\newcommand{\sO}{\mathscr{O}}
\newcommand{\sP}{\mathscr{P}}
\newcommand{\sQ}{\mathscr{Q}}
\newcommand{\sR}{\mathscr{R}}
\newcommand{\sS}{\mathscr{S}}
\newcommand{\sT}{\mathscr{T}}
\newcommand{\sU}{\mathscr{U}}
\newcommand{\sV}{\mathscr{V}}
\newcommand{\sW}{\mathscr{W}}
\newcommand{\sX}{\mathscr{X}}
\newcommand{\sY}{\mathscr{Y}}
\newcommand{\sZ}{\mathscr{Z}}
\newcommand{\bfA}{\mathbf{A}}
\newcommand{\bfB}{\mathbf{B}}
\newcommand{\bfC}{\mathbf{C}}
\newcommand{\bfD}{\mathbf{D}}
\newcommand{\bfE}{\mathbf{E}}
\newcommand{\bfF}{\mathbf{F}}
\newcommand{\bfG}{\mathbf{G}}
\newcommand{\bfH}{\mathbf{H}}
\newcommand{\bfI}{\mathbf{I}}
\newcommand{\bfJ}{\mathbf{J}}
\newcommand{\bfK}{\mathbf{K}}
\newcommand{\bfL}{\mathbf{L}}
\newcommand{\bfM}{\mathbf{M}}
\newcommand{\bfN}{\mathbf{N}}
\newcommand{\bfO}{\mathbf{O}}
\newcommand{\bfP}{\mathbf{P}}
\newcommand{\bfQ}{\mathbf{Q}}
\newcommand{\bfR}{\mathbf{R}}
\newcommand{\bfS}{\mathbf{S}}
\newcommand{\bfT}{\mathbf{T}}
\newcommand{\bfU}{\mathbf{U}}
\newcommand{\bfV}{\mathbf{V}}
\newcommand{\bfW}{\mathbf{W}}
\newcommand{\bfX}{\mathbf{X}}
\newcommand{\bfY}{\mathbf{Y}}
\newcommand{\bfZ}{\mathbf{Z}}
\newcommand{\bfa}{\mathbf{a}}
\newcommand{\bfb}{\mathbf{b}}
\newcommand{\bfc}{\mathbf{c}}
\newcommand{\bfd}{\mathbf{d}}
\newcommand{\bfe}{\mathbf{e}}
\newcommand{\bff}{\mathbf{f}}
\newcommand{\bfg}{\mathbf{g}}
\newcommand{\bfh}{\mathbf{h}}
\newcommand{\bfi}{\mathbf{i}}
\newcommand{\bfj}{\mathbf{j}}
\newcommand{\bfk}{\mathbf{k}}
\newcommand{\bfl}{\mathbf{l}}
\newcommand{\bfm}{\mathbf{m}}
\newcommand{\bfn}{\mathbf{n}}
\newcommand{\bfo}{\mathbf{o}}
\newcommand{\bfp}{\mathbf{p}}
\newcommand{\bfq}{\mathbf{q}}
\newcommand{\bfr}{\mathbf{r}}
\newcommand{\bfs}{\mathbf{s}}
\newcommand{\bft}{\mathbf{t}}
\newcommand{\bfu}{\mathbf{u}}
\newcommand{\bfv}{\mathbf{v}}
\newcommand{\bfw}{\mathbf{w}}
\newcommand{\bfx}{\mathbf{x}}
\newcommand{\bfy}{\mathbf{y}}
\newcommand{\bfz}{\mathbf{z}}
\newcommand{\frA}{\mathfrak{A}}
\newcommand{\frB}{\mathfrak{B}}
\newcommand{\frC}{\mathfrak{C}}
\newcommand{\frD}{\mathfrak{D}}
\newcommand{\frE}{\mathfrak{E}}
\newcommand{\frF}{\mathfrak{F}}
\newcommand{\frG}{\mathfrak{G}}
\newcommand{\frH}{\mathfrak{H}}
\newcommand{\frI}{\mathfrak{I}}
\newcommand{\frJ}{\mathfrak{J}}
\newcommand{\frK}{\mathfrak{K}}
\newcommand{\frL}{\mathfrak{L}}
\newcommand{\frM}{\mathfrak{M}}
\newcommand{\frN}{\mathfrak{N}}
\newcommand{\frO}{\mathfrak{O}}
\newcommand{\frP}{\mathfrak{P}}
\newcommand{\frQ}{\mathfrak{Q}}
\newcommand{\frR}{\mathfrak{R}}
\newcommand{\frS}{\mathfrak{S}}
\newcommand{\frT}{\mathfrak{T}}
\newcommand{\frU}{\mathfrak{U}}
\newcommand{\frV}{\mathfrak{V}}
\newcommand{\frW}{\mathfrak{W}}
\newcommand{\frX}{\mathfrak{X}}
\newcommand{\frY}{\mathfrak{Y}}
\newcommand{\frZ}{\mathfrak{Z}}
\newcommand{\Fra}{\mathfrak{a}}
\newcommand{\Frb}{\mathfrak{b}}
\newcommand{\Frc}{\mathfrak{c}}
\newcommand{\Frd}{\mathfrak{d}}
\newcommand{\Fre}{\mathfrak{e}}
\newcommand{\Frf}{\mathfrak{f}}
\newcommand{\Frg}{\mathfrak{g}}
\newcommand{\Frh}{\mathfrak{h}}
\newcommand{\Fri}{\mathfrak{i}}
\newcommand{\Frj}{\mathfrak{j}}
\newcommand{\Frk}{\mathfrak{k}}
\newcommand{\Frl}{\mathfrak{l}}
\newcommand{\Frm}{\mathfrak{m}}
\newcommand{\Frn}{\mathfrak{n}}
\newcommand{\Fro}{\mathfrak{o}}
\newcommand{\Frp}{\mathfrak{p}}
\newcommand{\Frq}{\mathfrak{q}}
\newcommand{\Frr}{\mathfrak{r}}
\newcommand{\Frs}{\mathfrak{s}}
\newcommand{\Frt}{\mathfrak{t}}
\newcommand{\Fru}{\mathfrak{u}}
\newcommand{\Frv}{\mathfrak{v}}
\newcommand{\Frw}{\mathfrak{w}}
\newcommand{\Frx}{\mathfrak{x}}
\newcommand{\Fry}{\mathfrak{y}}
\newcommand{\Frz}{\mathfrak{z}}
\newcommand{\rA}{\mathrm{A}}
\newcommand{\rB}{\mathrm{B}}
\newcommand{\rC}{\mathrm{C}}
\newcommand{\rD}{\mathrm{D}}
\newcommand{\rE}{\mathrm{E}}
\newcommand{\rF}{\mathrm{F}}
\newcommand{\rG}{\mathrm{G}}
\newcommand{\rH}{\mathrm{H}}
\newcommand{\rI}{\mathrm{I}}
\newcommand{\rJ}{\mathrm{J}}
\newcommand{\rK}{\mathrm{K}}
\newcommand{\rL}{\mathrm{L}}
\newcommand{\rM}{\mathrm{M}}
\newcommand{\rN}{\mathrm{N}}
\newcommand{\rO}{\mathrm{O}}
\newcommand{\rP}{\mathrm{P}}
\newcommand{\rQ}{\mathrm{Q}}
\newcommand{\rR}{\mathrm{R}}
\newcommand{\rS}{\mathrm{S}}
\newcommand{\rT}{\mathrm{T}}
\newcommand{\rU}{\mathrm{U}}
\newcommand{\rV}{\mathrm{V}}
\newcommand{\rW}{\mathrm{W}}
\newcommand{\rX}{\mathrm{X}}
\newcommand{\rY}{\mathrm{Y}}
\newcommand{\rZ}{\mathrm{Z}}
\newcommand{\sfA}{\mathsf{A}}
\newcommand{\sfB}{\mathsf{B}}
\newcommand{\sfC}{\mathsf{C}}
\newcommand{\sfD}{\mathsf{D}}
\newcommand{\sfE}{\mathsf{E}}
\newcommand{\sfF}{\mathsf{F}}
\newcommand{\sfG}{\mathsf{G}}
\newcommand{\sfH}{\mathsf{H}}
\newcommand{\sfI}{\mathsf{I}}
\newcommand{\sfJ}{\mathsf{J}}
\newcommand{\sfK}{\mathsf{K}}
\newcommand{\sfL}{\mathsf{L}}
\newcommand{\sfM}{\mathsf{M}}
\newcommand{\sfN}{\mathsf{N}}
\newcommand{\sfO}{\mathsf{O}}
\newcommand{\sfP}{\mathsf{P}}
\newcommand{\sfQ}{\mathsf{Q}}
\newcommand{\sfR}{\mathsf{R}}
\newcommand{\sfS}{\mathsf{S}}
\newcommand{\sfT}{\mathsf{T}}
\newcommand{\sfU}{\mathsf{U}}
\newcommand{\sfV}{\mathsf{V}}
\newcommand{\sfW}{\mathsf{W}}
\newcommand{\sfX}{\mathsf{X}}
\newcommand{\sfY}{\mathsf{Y}}
\newcommand{\sfZ}{\mathsf{Z}}
\newcommand{\bbA}{\mathbbm{A}}
\newcommand{\bbB}{\mathbbm{B}}
\newcommand{\bbC}{\mathbbm{C}}
\newcommand{\bbD}{\mathbbm{D}}
\newcommand{\bbE}{\mathbbm{E}}
\newcommand{\bbF}{\mathbbm{F}}
\newcommand{\bbG}{\mathbbm{G}}
\newcommand{\bbH}{\mathbbm{H}}
\newcommand{\bbI}{\mathbbm{I}}
\newcommand{\bbJ}{\mathbbm{J}}
\newcommand{\bbK}{\mathbbm{K}}
\newcommand{\bbL}{\mathbbm{L}}
\newcommand{\bbM}{\mathbbm{M}}
\newcommand{\bbN}{\mathbbm{N}}
\newcommand{\bbO}{\mathbbm{O}}
\newcommand{\bbP}{\mathbbm{P}}
\newcommand{\bbQ}{\mathbbm{Q}}
\newcommand{\bbR}{\mathbbm{R}}
\newcommand{\bbS}{\mathbbm{S}}
\newcommand{\bbT}{\mathbbm{T}}
\newcommand{\bbU}{\mathbbm{U}}
\newcommand{\bbV}{\mathbbm{V}}
\newcommand{\bbW}{\mathbbm{W}}
\newcommand{\bbX}{\mathbbm{X}}
\newcommand{\bbY}{\mathbbm{Y}}
\newcommand{\bbZ}{\mathbbm{Z}}
\newcommand{\bba}{\mathbbm{a}}
\newcommand{\bbb}{\mathbbm{b}}
\newcommand{\bbc}{\mathbbm{c}}
\newcommand{\bbd}{\mathbbm{d}}
\newcommand{\bbe}{\mathbbm{e}}
\newcommand{\bbf}{\mathbbm{f}}
\newcommand{\bbg}{\mathbbm{g}}
\newcommand{\bbh}{\mathbbm{h}}
\newcommand{\bbi}{\mathbbm{i}}
\newcommand{\bbj}{\mathbbm{j}}
\newcommand{\bbk}{\mathbbm{k}}
\newcommand{\bbl}{\mathbbm{l}}
\newcommand{\bbm}{\mathbbm{m}}
\newcommand{\bbn}{\mathbbm{n}}
\newcommand{\bbo}{\mathbbm{o}}
\newcommand{\bbp}{\mathbbm{p}}
\newcommand{\bbq}{\mathbbm{q}}
\newcommand{\bbr}{\mathbbm{r}}
\newcommand{\bbs}{\mathbbm{s}}
\newcommand{\bbt}{\mathbbm{t}}
\newcommand{\bbu}{\mathbbm{u}}
\newcommand{\bbv}{\mathbbm{v}}
\newcommand{\bbw}{\mathbbm{w}}
\newcommand{\bbx}{\mathbbm{x}}
\newcommand{\bby}{\mathbbm{y}}
\newcommand{\bbz}{\mathbbm{z}}
\newdir{ >}{{ }*!/-5pt/@{>}}
\begin{xy}
\xymatrix@=32pt {
\rC \ar@<1ex>[r]^F \ar@{}[r]|{\bot} & \rD \ar@<1ex>[l]^U
}
\end{xy}
\qquad
\eta : \Un{\rC} \Rightarrow UF,
\quad
\epsilon : FU \Rightarrow \Un{\rD}
\end{equation*}
で, モナド $(T,\eta,\mu)$ を導くもの ($T=UF, \mu = U \epsilon F$) の全体とする.
そのような 2 つの随伴
\begin{equation*}
\begin{xy}
\xymatrix@=32pt {
\rC \ar@<1ex>[r]^F \ar@{}[r]|{\bot} & \rD \ar@<1ex>[l]^U
}
\end{xy}
\qquad
\eta : \Un{\rC} \Rightarrow UF,
\quad
\epsilon : FU \Rightarrow \Un{\rD}
\end{equation*} \begin{equation*}
\begin{xy}
\xymatrix@=32pt {
\rC \ar@<1ex>[r]^{F'} \ar@{}[r]|{\bot} & \rD' \ar@<1ex>[l]^{U'}
}
\end{xy}
\qquad
\eta' : \Un{\rC} \Rightarrow U'F',
\quad
\epsilon' : F'U' \Rightarrow \Un{\rD'}
\end{equation*} の間の射 $K : F \dashv U \rightarrow F' \dashv U'$ は関手 $K : \rD \rightarrow \rD'$ で, 左随伴と右随伴に対して共に可換, つまり $KF=F'$, $U'K=U$ を満たすものとする:
\begin{equation*}
\begin{xy}
\xymatrix@=32pt {
\rD \ar@<1ex>[dr]^U \ar[rr]^K
\ar@{}[dr]|{\style{display: inline-block; transform: rotate(45deg)}{\dashv}}
&
& {\rD'} \ar@<1.8ex>[dl]^{U'}
\ar@{}[dl]|{\style{display: inline-block; transform: rotate(-45deg)}{\dashv}}
\\
& \rC \ar@<1.2ex>[ul]^F \ar@<0.4ex>[ur]^{F'} &
}
\end{xy}
\end{equation*}
$\Adj_T$ に対して, 次が成り立つ.
命題. $(T,\eta,\mu)$ を圏 $\rC$ 上のモナドとする. このとき, Kleisli 圏 $\rC_T$ は随伴の圏 $\Adj_T$ の始対象であり, Eelenberg-Moore 圏 $\rC^T$ は $\Adj_T$ の終対象である. すなわち, $\rC$ 上でモナド $(T,\eta,\mu)$ を導く任意の随伴 $F \dashv U$ に対して, 一意的な関手 $J : \rC_T \rightarrow \rD$, $K : \rD \rightarrow \rC^T$ が存在して, それぞれ左随伴関手, 右随伴関手と可換になる.
\begin{equation*}
\begin{xy}
\xymatrix@=32pt {
\rC_T \ar@{-->}[r]^J_{\exists!}
\ar[dr]|(.3){U_T}
\ar@{}@<-0.9ex>[dr]|{\style{display: inline-block; transform: rotate(45deg)}{\dashv}}
& \rD \ar@{-->}[r]^K_{\exists!}
\ar@<1ex>[d]^U
\ar@{}[d]|{\dashv}
& \rC^T \ar@<2.2ex>[dl]^{U^T} \\
& \rC \ar@<1ex>[u]^F
\ar@<2.2ex>[ul]^{F_T}
\ar[ur]|(.6){F^T}
\ar@{}@<-0.6ex>[ur]|{\style{display: inline-block; transform: rotate(-45deg)}{\dashv}}
&
}
\end{xy}
\end{equation*} 証明は省略するが, 以下のことが成り立つ.
・ $JF_T = F$, $U^TK=U$.
・ 関手 $J : \rC_T \rightarrow \rD$ は $\rC_T$ の対象 $c$ に対して
\begin{equation*}
Jc = Fc
\end{equation*} と定義され, $\rC_T$ の射 $f : c \rightsquigarrow c'$, つまり $\rC$ の射 $f : c \rightarrow Tc'$ に対して
\begin{equation*}
\begin{xy}
\xymatrix@=32pt {
Jf := Fc \ar[r]^(.4){Ff} & FTc'=FUFc' \ar[r]^(.65){\epsilon_{Fc'}} & Fc'
}
\end{xy}
\end{equation*} と定義される.
・ 関手 $K : \rD \rightarrow \rC^T$ は, $\rD$ の対象 $d$ に対して
\begin{equation*}
Kd = (Ud,U{\epsilon_d})
\end{equation*} と定義され, $\rD$ の射 $f : d \rightarrow d'$ に対して
\begin{equation*}
Kf := Uf : (Ud,U\epsilon_d) \rightarrow (Ud',U{\epsilon_{d'}})
\end{equation*} と定義される.
この結果によれば, 圏 $\rC$ 上の Kleisli 圏 $\rC_T$ から Eilenberg-Moore 圏 $\rC^T$ への一意的な関手 $K : \rC_T \rightarrow \rC^T$ が存在することになるが, これは次のように定まる.
Kleisli 圏 $\rC_T$ の対象 $c\in\rC_T$ (つまり $c\in\rC$) に対して,
\begin{equation*}
Kc = (U^TF^Tc,U^T\epsilon_{F^Tc}) = (Tc,U^T\epsilon_{F^Tc}) = (Tc,\mu_c)
\end{equation*}
であり, $\rC_T$ の射 $f : c \rightsquigarrow c'$ つまり $\rC$ の射 $f : c \rightarrow Tc'$ に対して
\begin{equation*}
\begin{xy}
\xymatrix@=32pt {
Kf := (Tc,\mu_{c}) \ar[r]^{Tf} & (T^2c',\mu_{Tc'}) \ar[r]^{\mu_{c'}} & (Tc'\mu_{c'})
}
\end{xy}
\end{equation*} である.
この関手 $K : \rC_T \rightarrow \rC^T$ について, 次の命題が成り立つ.
命題. 圏 $\rC$ 上の随伴からなる圏 $\Adj_T$ における, 一意的な関手 $K : \rC_T \rightarrow \rC^T$ は充満忠実 (full and faithful) であり, $K$ は $\rC_T$ とその $\rC^T$ における像の間の圏同型を与える. すなわち, Kleisli 圏 $\rC_T$ は Eilenberg-Moore 圏 $\rC^T$ に埋め込まれる.
随伴から導かれるモナドの例 ── maybe モナド
モナドから導かれる随伴 (1) ── Eilenberg-Moore 圏
モナドから導かれる随伴 (2) ── Kleisli 圏
モナド ── Kleisli 圏の例 (続き) の続き.
圏 $\mathrm{C}$ 上の与えられたモナド $(T,\eta,\mu)$ に対して, $T$ 上の随伴のなす圏 $\mathbf{Adj}_T$ を次のように定義する.
$\mathbf{Adj}_T$ の対象は, 随伴
\begin{equation*}
\DeclareMathOperator{\Aff}{Aff}
\DeclareMathOperator{\Ar}{Ar}
\DeclareMathOperator{\Arccos}{Arccos}
\DeclareMathOperator{\Arcsin}{Arcsin}
\DeclareMathOperator{\Arr}{Arr}
\DeclareMathOperator{\arr}{arr}
\DeclareMathOperator{\Aut}{Aut}
\DeclareMathOperator{\Auto}{Auto}
\DeclareMathOperator{\Axiom}{Axiom}
\DeclareMathOperator{\Bilin}{Bilin}
\DeclareMathOperator{\card}{card}
\DeclareMathOperator{\Catelem}{\int}
\DeclareMathOperator{\Cocone}{Cocone}
\DeclareMathOperator{\Cod}{cod}
\DeclareMathOperator{\Codomain}{cod}
\DeclareMathOperator{\Coin}{coin}
\DeclareMathOperator{\coker}{coker}
\DeclareMathOperator{\Colim}{colim}
\DeclareMathOperator{\comp}{comp}
\DeclareMathOperator{\Conf}{Conf}
\DeclareMathOperator{\Conj}{Conj}
\DeclareMathOperator{\Dom}{dom}
\DeclareMathOperator{\Domain}{dom}
\DeclareMathOperator{\Edge}{Edge}
\DeclareMathOperator{\Ev}{ev}
\DeclareMathOperator{\GCD}{gcd}
\DeclareMathOperator{\Gr}{Gr}
\DeclareMathOperator{\Hom}{Hom}
\DeclareMathOperator{\Id}{id}
\DeclareMathOperator{\IM}{Im}
\DeclareMathOperator{\im}{im}
\DeclareMathOperator{\Ind}{ind}
\DeclareMathOperator{\INIT}{init}
\DeclareMathOperator{\iso}{iso}
\DeclareMathOperator{\LCM}{lcm}
\DeclareMathOperator{\Map}{Map}
\DeclareMathOperator{\mor}{arr}
\DeclareMathOperator{\Nat}{Nat}
\DeclareMathOperator{\Ob}{Ob}
\DeclareMathOperator{\ob}{ob}
\DeclareMathOperator{\ord}{ord}
\DeclareMathOperator{\Path}{Path}
\DeclareMathOperator{\PConf}{PConf}
\DeclareMathOperator{\Point}{Point}
\DeclareMathOperator{\Prob}{Prob}
\DeclareMathOperator{\RE}{Re}
\DeclareMathOperator{\Res}{res}
\DeclareMathOperator{\Sect}{Sect}
\DeclareMathOperator{\SF}{SF}
\DeclareMathOperator{\SkelCat}{sk}
\DeclareMathOperator{\Spec}{Spec}
\DeclareMathOperator{\Sq}{Sq}
\DeclareMathOperator{\Struct}{Struct}
\DeclareMathOperator{\Sub}{Sub}
\DeclareMathOperator{\Sym}{Sym}
\DeclareMathOperator{\TERM}{term}
\DeclareMathOperator{\Vertex}{Vert}
\newcommand{\Abs}[1]{\lvert{#1}\rvert}
\newcommand{\Bs}{\backslash}
\newcommand{\Cdot}{\,\cdot^{\mathrm{op}}}
\newcommand{\Comma}[2]{{{#1}\!\downarrow\!{#2}}}
\newcommand{\CommaCat}[2]{(#1/#2)}
\newcommand{\Complement}[1]{{\smash[t]{\mathstrut #1}}^{\mathrm{c}}}
\newcommand{\Emph}[1]{\textit{#1}}
\newcommand{\Eqclass}[4]{{#1#2#3}_{#4}}
\newcommand{\EqCls}[2]{{\left[#1\right]}_{#2}}
\newcommand{\Eqcls}[1]{\left[#1\right]}
\newcommand{\Expt}[2]{{\smash[t]{\mathstrut #1}}^{\mathstrut #2}}
\newcommand{\FnRest}[2]{{#1}|{#2}}
\newcommand{\Func}[2]{\mathrm{Func}(#1,#2)}
\newcommand{\g}{\varg}
\newcommand{\Inc}[2]{\mathrm{incl}\left(#1,#2\right)}
\newcommand{\Incl}[2]{\mathrm{incl}_{#1}^{#2}}
\newcommand{\InclArrow}[2]{\morphism(0,0)/>->/45<\0\,>[\Incl{#1}{#2} : {#1}\,\,`{#2};]}
\newcommand{\Ip}{\amalg}
\newcommand{\Lb}[1]{\mathrm{lb}(#1)}
\newcommand{\LH}{\mathrm{LH}}
\newcommand{\Lowerset}[1]{\downarrow\!\!{#1}}
\newcommand{\Leadsto}{\quad\leadsto\quad}
\newcommand{\Lrsquigarrow}{\quad\leftrightsquigarrow\quad}
\newcommand{\Mb}[1]{\mathbf{#1}}
\newcommand{\Mbb}[1]{\mathbb{#1}}
\newcommand{\Mi}[1]{\mathit{#1}}
\newcommand{\Mlb}[1]{\mathrm{mlb}(#1)}
\newcommand{\Mr}[1]{\mathrm{#1}}
\newcommand{\Ms}[1]{\mathscr{#1}}
\newcommand{\Mt}[1]{\mathtt{#1}}
\newcommand{\Mub}[1]{\mathrm{mub}(#1)}
\newcommand{\newinf}{\mathop{\mathrm{inf}\vphantom{\mathrm{sup}}}}
\newcommand{\newsup}{\mathop{\smash{\mathrm{sup}}}}
\newcommand{\Opp}[1]{#1^{\mathrm{op}}}
\newcommand{\Prj}[2]{\mathrm{proj}\left(#1,#2\right)}
\newcommand{\Proj}[2]{\mathrm{proj}^{#1}_{#2}}
\newcommand{\Pw}{\mathbf{P}}
\newcommand{\Rn}[1]{{\bmdefine{R}}^{#1}}
\newcommand{\q}{\hspace{1em}}
\newcommand{\qq}{\hspace{0.5em}}
\newcommand{\Rel}[1]{\langle{#1}\rangle}
\newcommand{\Rest}[2]{{#1}|{#2}}
\newcommand{\Slash}[1]{{\ooalign{\hfil/\hfil\crcr$#1$}}}
\newcommand{\SliCat}[2]{{#1}\,\big/\,{#2}}
\newcommand{\Src}{d^{0,\mathrm{op}}}
\newcommand{\ssqrt}[1]{\sqrt{\smash[b]{\mathstrut #1}}}
\newcommand{\Tgt}{d^{1,\mathrm{op}}}
\newcommand{\TwArCat}[1]{\mathrm{Tw}(#1)}
\newcommand{\Ub}[1]{\mathrm{ub}(#1)}
\newcommand{\Un}[1]{{1}_{#1}}
\newcommand{\Upperset}[1]{\uparrow\!\!{#1}}
\newcommand{\VectCat}[1]{#1 \mathchar`- \mathbf{Vect}}
\newcommand{\VS}{\vspace*{-1ex}}
\newcommand{\Wbar}[1]{\widebar{#1}}
\newcommand{\Ab}{\mathbf{Ab}}
\newcommand{\Adj}{\mathbf{Adj}}
\newcommand{\Affine}{\mathbf{Affine}}
\newcommand{\Ban}{\mathbf{Ban}}
\newcommand{\bbDelta}{\Delta\mkern-12mu\Delta}
\newcommand{\Card}{\mathbf{Card}}
\newcommand{\CAT}{\mathbf{CAT}}
\newcommand{\Cat}{\mathbf{Cat}}
\newcommand{\cgHaus}{\mathbf{cgHaus}}
\newcommand{\Ch}{\mathbf{Ch}}
\newcommand{\cHaus}{\mathbf{cHaus}}
\newcommand{\Cluster}{\mathbf{Cluster}}
\newcommand{\CMonoid}{\mathbf{CMonoid}}
\newcommand{\CRing}{\mathbf{CRing}}
\newcommand{\DirGraph}{\mathbf{DirGraph}}
\newcommand{\End}{\mathbf{End}}
\newcommand{\Euclid}{\mathbf{Euclid}}
\newcommand{\Field}{\mathbf{Field}}
\newcommand{\Fin}{\mathbf{Fin}}
\newcommand{\FinMetric}{\mathbf{FinMetric}}
\newcommand{\Four}{\mathbbm{4}}
\newcommand{\Graph}{\mathbf{Graph}}
\newcommand{\GrMod}{\mathbf{GrMod}}
\newcommand{\Grp}{\mathbf{Grp}}
\newcommand{\Group}{\mathbf{Group}}
\newcommand{\Groupoid}{\mathbf{Groupoid}}
\newcommand{\Haus}{\mathbf{Haus}}
\newcommand{\Htpy}{\mathbf{Htpy}}
\newcommand{\Man}{\mathbf{Man}}
\newcommand{\Mapsdown}{\rotatebox{270}{$\mapsto$}}
\newcommand{\Mapsup}{\rotatebox{90}{$\mapsto$}}
\newcommand{\Mat}{\mathbf{Mat}}
\newcommand{\Meas}{\mathbf{Meas}}
\newcommand{\Measure}{\mathbf{Measure}}
\newcommand{\Mod}{\mathbf{Mod}}
\newcommand{\Model}{\mathbf{Model}}
\newcommand{\Mon}{\mathbf{Mon}}
\newcommand{\Monoid}{\mathbf{Monoid}}
\newcommand{\oMega}{\bbomega}
\newcommand{\One}{\mymathbb{1}}
\newcommand{\Ord}{\mathrm{Ord}}
\newcommand{\PCluster}{\mathbf{PCluster}}
\newcommand{\POs}{\mathbf{Poset}}
\newcommand{\Poset}{\mathbf{Poset}}
\newcommand{\PROJ}{\mathbf{Proj}}
\newcommand{\Psh}{\mathbf{Psh}}
\newcommand{\Ring}{\mathbf{Ring}}
\newcommand{\Rng}{\mathbf{Rng}}
\newcommand{\SET}{\mathbf{SET}}
\newcommand{\Set}{\mathbf{Set}}
\newcommand{\setmid}{\mathrel{}\middle|\mathrel{}}
\newcommand{\Sh}{\mathbf{Sh}}
\newcommand{\Shv}{\mathbf{Shv}}
\newcommand{\Three}{\mymathbb{3}}
\renewcommand{\Top}{\mathbf{Top}}
\newcommand{\Two}{\mymathbb{2}}
\newcommand{\Vect}{\mathbf{Vect}}
\newcommand{\Zero}{\mymathbb{0}}
\newcommand{\sA}{\mathscr{A}}
\newcommand{\sB}{\mathscr{B}}
\newcommand{\sC}{\mathscr{C}}
\newcommand{\sD}{\mathscr{D}}
\newcommand{\sE}{\mathscr{E}}
\newcommand{\sF}{\mathscr{F}}
\newcommand{\sG}{\mathscr{G}}
\newcommand{\sH}{\mathscr{H}}
\newcommand{\sI}{\mathscr{I}}
\newcommand{\sJ}{\mathscr{J}}
\newcommand{\sK}{\mathscr{K}}
\newcommand{\sL}{\mathscr{L}}
\newcommand{\sM}{\mathscr{M}}
\newcommand{\sN}{\mathscr{N}}
\newcommand{\sO}{\mathscr{O}}
\newcommand{\sP}{\mathscr{P}}
\newcommand{\sQ}{\mathscr{Q}}
\newcommand{\sR}{\mathscr{R}}
\newcommand{\sS}{\mathscr{S}}
\newcommand{\sT}{\mathscr{T}}
\newcommand{\sU}{\mathscr{U}}
\newcommand{\sV}{\mathscr{V}}
\newcommand{\sW}{\mathscr{W}}
\newcommand{\sX}{\mathscr{X}}
\newcommand{\sY}{\mathscr{Y}}
\newcommand{\sZ}{\mathscr{Z}}
\newcommand{\bfA}{\mathbf{A}}
\newcommand{\bfB}{\mathbf{B}}
\newcommand{\bfC}{\mathbf{C}}
\newcommand{\bfD}{\mathbf{D}}
\newcommand{\bfE}{\mathbf{E}}
\newcommand{\bfF}{\mathbf{F}}
\newcommand{\bfG}{\mathbf{G}}
\newcommand{\bfH}{\mathbf{H}}
\newcommand{\bfI}{\mathbf{I}}
\newcommand{\bfJ}{\mathbf{J}}
\newcommand{\bfK}{\mathbf{K}}
\newcommand{\bfL}{\mathbf{L}}
\newcommand{\bfM}{\mathbf{M}}
\newcommand{\bfN}{\mathbf{N}}
\newcommand{\bfO}{\mathbf{O}}
\newcommand{\bfP}{\mathbf{P}}
\newcommand{\bfQ}{\mathbf{Q}}
\newcommand{\bfR}{\mathbf{R}}
\newcommand{\bfS}{\mathbf{S}}
\newcommand{\bfT}{\mathbf{T}}
\newcommand{\bfU}{\mathbf{U}}
\newcommand{\bfV}{\mathbf{V}}
\newcommand{\bfW}{\mathbf{W}}
\newcommand{\bfX}{\mathbf{X}}
\newcommand{\bfY}{\mathbf{Y}}
\newcommand{\bfZ}{\mathbf{Z}}
\newcommand{\bfa}{\mathbf{a}}
\newcommand{\bfb}{\mathbf{b}}
\newcommand{\bfc}{\mathbf{c}}
\newcommand{\bfd}{\mathbf{d}}
\newcommand{\bfe}{\mathbf{e}}
\newcommand{\bff}{\mathbf{f}}
\newcommand{\bfg}{\mathbf{g}}
\newcommand{\bfh}{\mathbf{h}}
\newcommand{\bfi}{\mathbf{i}}
\newcommand{\bfj}{\mathbf{j}}
\newcommand{\bfk}{\mathbf{k}}
\newcommand{\bfl}{\mathbf{l}}
\newcommand{\bfm}{\mathbf{m}}
\newcommand{\bfn}{\mathbf{n}}
\newcommand{\bfo}{\mathbf{o}}
\newcommand{\bfp}{\mathbf{p}}
\newcommand{\bfq}{\mathbf{q}}
\newcommand{\bfr}{\mathbf{r}}
\newcommand{\bfs}{\mathbf{s}}
\newcommand{\bft}{\mathbf{t}}
\newcommand{\bfu}{\mathbf{u}}
\newcommand{\bfv}{\mathbf{v}}
\newcommand{\bfw}{\mathbf{w}}
\newcommand{\bfx}{\mathbf{x}}
\newcommand{\bfy}{\mathbf{y}}
\newcommand{\bfz}{\mathbf{z}}
\newcommand{\frA}{\mathfrak{A}}
\newcommand{\frB}{\mathfrak{B}}
\newcommand{\frC}{\mathfrak{C}}
\newcommand{\frD}{\mathfrak{D}}
\newcommand{\frE}{\mathfrak{E}}
\newcommand{\frF}{\mathfrak{F}}
\newcommand{\frG}{\mathfrak{G}}
\newcommand{\frH}{\mathfrak{H}}
\newcommand{\frI}{\mathfrak{I}}
\newcommand{\frJ}{\mathfrak{J}}
\newcommand{\frK}{\mathfrak{K}}
\newcommand{\frL}{\mathfrak{L}}
\newcommand{\frM}{\mathfrak{M}}
\newcommand{\frN}{\mathfrak{N}}
\newcommand{\frO}{\mathfrak{O}}
\newcommand{\frP}{\mathfrak{P}}
\newcommand{\frQ}{\mathfrak{Q}}
\newcommand{\frR}{\mathfrak{R}}
\newcommand{\frS}{\mathfrak{S}}
\newcommand{\frT}{\mathfrak{T}}
\newcommand{\frU}{\mathfrak{U}}
\newcommand{\frV}{\mathfrak{V}}
\newcommand{\frW}{\mathfrak{W}}
\newcommand{\frX}{\mathfrak{X}}
\newcommand{\frY}{\mathfrak{Y}}
\newcommand{\frZ}{\mathfrak{Z}}
\newcommand{\Fra}{\mathfrak{a}}
\newcommand{\Frb}{\mathfrak{b}}
\newcommand{\Frc}{\mathfrak{c}}
\newcommand{\Frd}{\mathfrak{d}}
\newcommand{\Fre}{\mathfrak{e}}
\newcommand{\Frf}{\mathfrak{f}}
\newcommand{\Frg}{\mathfrak{g}}
\newcommand{\Frh}{\mathfrak{h}}
\newcommand{\Fri}{\mathfrak{i}}
\newcommand{\Frj}{\mathfrak{j}}
\newcommand{\Frk}{\mathfrak{k}}
\newcommand{\Frl}{\mathfrak{l}}
\newcommand{\Frm}{\mathfrak{m}}
\newcommand{\Frn}{\mathfrak{n}}
\newcommand{\Fro}{\mathfrak{o}}
\newcommand{\Frp}{\mathfrak{p}}
\newcommand{\Frq}{\mathfrak{q}}
\newcommand{\Frr}{\mathfrak{r}}
\newcommand{\Frs}{\mathfrak{s}}
\newcommand{\Frt}{\mathfrak{t}}
\newcommand{\Fru}{\mathfrak{u}}
\newcommand{\Frv}{\mathfrak{v}}
\newcommand{\Frw}{\mathfrak{w}}
\newcommand{\Frx}{\mathfrak{x}}
\newcommand{\Fry}{\mathfrak{y}}
\newcommand{\Frz}{\mathfrak{z}}
\newcommand{\rA}{\mathrm{A}}
\newcommand{\rB}{\mathrm{B}}
\newcommand{\rC}{\mathrm{C}}
\newcommand{\rD}{\mathrm{D}}
\newcommand{\rE}{\mathrm{E}}
\newcommand{\rF}{\mathrm{F}}
\newcommand{\rG}{\mathrm{G}}
\newcommand{\rH}{\mathrm{H}}
\newcommand{\rI}{\mathrm{I}}
\newcommand{\rJ}{\mathrm{J}}
\newcommand{\rK}{\mathrm{K}}
\newcommand{\rL}{\mathrm{L}}
\newcommand{\rM}{\mathrm{M}}
\newcommand{\rN}{\mathrm{N}}
\newcommand{\rO}{\mathrm{O}}
\newcommand{\rP}{\mathrm{P}}
\newcommand{\rQ}{\mathrm{Q}}
\newcommand{\rR}{\mathrm{R}}
\newcommand{\rS}{\mathrm{S}}
\newcommand{\rT}{\mathrm{T}}
\newcommand{\rU}{\mathrm{U}}
\newcommand{\rV}{\mathrm{V}}
\newcommand{\rW}{\mathrm{W}}
\newcommand{\rX}{\mathrm{X}}
\newcommand{\rY}{\mathrm{Y}}
\newcommand{\rZ}{\mathrm{Z}}
\newcommand{\sfA}{\mathsf{A}}
\newcommand{\sfB}{\mathsf{B}}
\newcommand{\sfC}{\mathsf{C}}
\newcommand{\sfD}{\mathsf{D}}
\newcommand{\sfE}{\mathsf{E}}
\newcommand{\sfF}{\mathsf{F}}
\newcommand{\sfG}{\mathsf{G}}
\newcommand{\sfH}{\mathsf{H}}
\newcommand{\sfI}{\mathsf{I}}
\newcommand{\sfJ}{\mathsf{J}}
\newcommand{\sfK}{\mathsf{K}}
\newcommand{\sfL}{\mathsf{L}}
\newcommand{\sfM}{\mathsf{M}}
\newcommand{\sfN}{\mathsf{N}}
\newcommand{\sfO}{\mathsf{O}}
\newcommand{\sfP}{\mathsf{P}}
\newcommand{\sfQ}{\mathsf{Q}}
\newcommand{\sfR}{\mathsf{R}}
\newcommand{\sfS}{\mathsf{S}}
\newcommand{\sfT}{\mathsf{T}}
\newcommand{\sfU}{\mathsf{U}}
\newcommand{\sfV}{\mathsf{V}}
\newcommand{\sfW}{\mathsf{W}}
\newcommand{\sfX}{\mathsf{X}}
\newcommand{\sfY}{\mathsf{Y}}
\newcommand{\sfZ}{\mathsf{Z}}
\newcommand{\bbA}{\mathbbm{A}}
\newcommand{\bbB}{\mathbbm{B}}
\newcommand{\bbC}{\mathbbm{C}}
\newcommand{\bbD}{\mathbbm{D}}
\newcommand{\bbE}{\mathbbm{E}}
\newcommand{\bbF}{\mathbbm{F}}
\newcommand{\bbG}{\mathbbm{G}}
\newcommand{\bbH}{\mathbbm{H}}
\newcommand{\bbI}{\mathbbm{I}}
\newcommand{\bbJ}{\mathbbm{J}}
\newcommand{\bbK}{\mathbbm{K}}
\newcommand{\bbL}{\mathbbm{L}}
\newcommand{\bbM}{\mathbbm{M}}
\newcommand{\bbN}{\mathbbm{N}}
\newcommand{\bbO}{\mathbbm{O}}
\newcommand{\bbP}{\mathbbm{P}}
\newcommand{\bbQ}{\mathbbm{Q}}
\newcommand{\bbR}{\mathbbm{R}}
\newcommand{\bbS}{\mathbbm{S}}
\newcommand{\bbT}{\mathbbm{T}}
\newcommand{\bbU}{\mathbbm{U}}
\newcommand{\bbV}{\mathbbm{V}}
\newcommand{\bbW}{\mathbbm{W}}
\newcommand{\bbX}{\mathbbm{X}}
\newcommand{\bbY}{\mathbbm{Y}}
\newcommand{\bbZ}{\mathbbm{Z}}
\newcommand{\bba}{\mathbbm{a}}
\newcommand{\bbb}{\mathbbm{b}}
\newcommand{\bbc}{\mathbbm{c}}
\newcommand{\bbd}{\mathbbm{d}}
\newcommand{\bbe}{\mathbbm{e}}
\newcommand{\bbf}{\mathbbm{f}}
\newcommand{\bbg}{\mathbbm{g}}
\newcommand{\bbh}{\mathbbm{h}}
\newcommand{\bbi}{\mathbbm{i}}
\newcommand{\bbj}{\mathbbm{j}}
\newcommand{\bbk}{\mathbbm{k}}
\newcommand{\bbl}{\mathbbm{l}}
\newcommand{\bbm}{\mathbbm{m}}
\newcommand{\bbn}{\mathbbm{n}}
\newcommand{\bbo}{\mathbbm{o}}
\newcommand{\bbp}{\mathbbm{p}}
\newcommand{\bbq}{\mathbbm{q}}
\newcommand{\bbr}{\mathbbm{r}}
\newcommand{\bbs}{\mathbbm{s}}
\newcommand{\bbt}{\mathbbm{t}}
\newcommand{\bbu}{\mathbbm{u}}
\newcommand{\bbv}{\mathbbm{v}}
\newcommand{\bbw}{\mathbbm{w}}
\newcommand{\bbx}{\mathbbm{x}}
\newcommand{\bby}{\mathbbm{y}}
\newcommand{\bbz}{\mathbbm{z}}
\newdir{ >}{{ }*!/-5pt/@{>}}
\begin{xy}
\xymatrix@=32pt {
\rC \ar@<1ex>[r]^F \ar@{}[r]|{\bot} & \rD \ar@<1ex>[l]^U
}
\end{xy}
\qquad
\eta : \Un{\rC} \Rightarrow UF,
\quad
\epsilon : FU \Rightarrow \Un{\rD}
\end{equation*}
で, モナド $(T,\eta,\mu)$ を導くもの ($T=UF, \mu = U \epsilon F$) の全体とする.
そのような 2 つの随伴
\begin{equation*}
\begin{xy}
\xymatrix@=32pt {
\rC \ar@<1ex>[r]^F \ar@{}[r]|{\bot} & \rD \ar@<1ex>[l]^U
}
\end{xy}
\qquad
\eta : \Un{\rC} \Rightarrow UF,
\quad
\epsilon : FU \Rightarrow \Un{\rD}
\end{equation*} \begin{equation*}
\begin{xy}
\xymatrix@=32pt {
\rC \ar@<1ex>[r]^{F'} \ar@{}[r]|{\bot} & \rD' \ar@<1ex>[l]^{U'}
}
\end{xy}
\qquad
\eta' : \Un{\rC} \Rightarrow U'F',
\quad
\epsilon' : F'U' \Rightarrow \Un{\rD'}
\end{equation*} の間の射 $K : F \dashv U \rightarrow F' \dashv U'$ は関手 $K : \rD \rightarrow \rD'$ で, 左随伴と右随伴に対して共に可換, つまり $KF=F'$, $U'K=U$ を満たすものとする:
\begin{equation*}
\begin{xy}
\xymatrix@=32pt {
\rD \ar@<1ex>[dr]^U \ar[rr]^K
\ar@{}[dr]|{\style{display: inline-block; transform: rotate(45deg)}{\dashv}}
&
& {\rD'} \ar@<1.8ex>[dl]^{U'}
\ar@{}[dl]|{\style{display: inline-block; transform: rotate(-45deg)}{\dashv}}
\\
& \rC \ar@<1.2ex>[ul]^F \ar@<0.4ex>[ur]^{F'} &
}
\end{xy}
\end{equation*}
$\Adj_T$ に対して, 次が成り立つ.
命題. $(T,\eta,\mu)$ を圏 $\rC$ 上のモナドとする. このとき, Kleisli 圏 $\rC_T$ は随伴の圏 $\Adj_T$ の始対象であり, Eelenberg-Moore 圏 $\rC^T$ は $\Adj_T$ の終対象である. すなわち, $\rC$ 上でモナド $(T,\eta,\mu)$ を導く任意の随伴 $F \dashv U$ に対して, 一意的な関手 $J : \rC_T \rightarrow \rD$, $K : \rD \rightarrow \rC^T$ が存在して, それぞれ左随伴関手, 右随伴関手と可換になる.
\begin{equation*}
\begin{xy}
\xymatrix@=32pt {
\rC_T \ar@{-->}[r]^J_{\exists!}
\ar[dr]|(.3){U_T}
\ar@{}@<-0.9ex>[dr]|{\style{display: inline-block; transform: rotate(45deg)}{\dashv}}
& \rD \ar@{-->}[r]^K_{\exists!}
\ar@<1ex>[d]^U
\ar@{}[d]|{\dashv}
& \rC^T \ar@<2.2ex>[dl]^{U^T} \\
& \rC \ar@<1ex>[u]^F
\ar@<2.2ex>[ul]^{F_T}
\ar[ur]|(.6){F^T}
\ar@{}@<-0.6ex>[ur]|{\style{display: inline-block; transform: rotate(-45deg)}{\dashv}}
&
}
\end{xy}
\end{equation*} 証明は省略するが, 以下のことが成り立つ.
・ $JF_T = F$, $U^TK=U$.
・ 関手 $J : \rC_T \rightarrow \rD$ は $\rC_T$ の対象 $c$ に対して
\begin{equation*}
Jc = Fc
\end{equation*} と定義され, $\rC_T$ の射 $f : c \rightsquigarrow c'$, つまり $\rC$ の射 $f : c \rightarrow Tc'$ に対して
\begin{equation*}
\begin{xy}
\xymatrix@=32pt {
Jf := Fc \ar[r]^(.4){Ff} & FTc'=FUFc' \ar[r]^(.65){\epsilon_{Fc'}} & Fc'
}
\end{xy}
\end{equation*} と定義される.
・ 関手 $K : \rD \rightarrow \rC^T$ は, $\rD$ の対象 $d$ に対して
\begin{equation*}
Kd = (Ud,U{\epsilon_d})
\end{equation*} と定義され, $\rD$ の射 $f : d \rightarrow d'$ に対して
\begin{equation*}
Kf := Uf : (Ud,U\epsilon_d) \rightarrow (Ud',U{\epsilon_{d'}})
\end{equation*} と定義される.
この結果によれば, 圏 $\rC$ 上の Kleisli 圏 $\rC_T$ から Eilenberg-Moore 圏 $\rC^T$ への一意的な関手 $K : \rC_T \rightarrow \rC^T$ が存在することになるが, これは次のように定まる.
Kleisli 圏 $\rC_T$ の対象 $c\in\rC_T$ (つまり $c\in\rC$) に対して,
\begin{equation*}
Kc = (U^TF^Tc,U^T\epsilon_{F^Tc}) = (Tc,U^T\epsilon_{F^Tc}) = (Tc,\mu_c)
\end{equation*}
であり, $\rC_T$ の射 $f : c \rightsquigarrow c'$ つまり $\rC$ の射 $f : c \rightarrow Tc'$ に対して
\begin{equation*}
\begin{xy}
\xymatrix@=32pt {
Kf := (Tc,\mu_{c}) \ar[r]^{Tf} & (T^2c',\mu_{Tc'}) \ar[r]^{\mu_{c'}} & (Tc'\mu_{c'})
}
\end{xy}
\end{equation*} である.
この関手 $K : \rC_T \rightarrow \rC^T$ について, 次の命題が成り立つ.
命題. 圏 $\rC$ 上の随伴からなる圏 $\Adj_T$ における, 一意的な関手 $K : \rC_T \rightarrow \rC^T$ は充満忠実 (full and faithful) であり, $K$ は $\rC_T$ とその $\rC^T$ における像の間の圏同型を与える. すなわち, Kleisli 圏 $\rC_T$ は Eilenberg-Moore 圏 $\rC^T$ に埋め込まれる.
