午前中は鬱と倦怠感が辛く, 寝込んだ.
午後になって少し体調がよくなってきたので, 買い物に行く.
歩いて気分が上向いた.
野菜と肉などを買う.
帰宅して食事.
麻婆豆腐とご飯.
食後の時間は, せっかく読書などに使えるのにだらだらとネットを見てしまう.
ネットをずっと見ていると, 気分が沈んでくる. 良くない.
沈鬱な気分に苦しくなってくる.
まだ早いが布団に入る.
2023年06月30日
2023年06月29日
気力が出ない
6 時半に目が覚める.
鬱と無気力が辛い. いつになったら解放されるのだろう。
午前中は寝込んだ.
何もする気にならない. いくら休んでも倦怠感がとれない.
頓服を飲む.
そのおかげか, 午後に鬱が少し軽くなってきたので, 買い物を兼ねた散歩に出かける.
1 時間半ほど歩く.
暑さにやられて気分が悪くなった. こういう日に無理はいけない.
買い物をして帰宅.
横になって休む.
夕方に起きて食事をとる.
豚キムチ.
まだ夕方だが, 布団に入る.
鬱と無気力が辛い. いつになったら解放されるのだろう。
午前中は寝込んだ.
何もする気にならない. いくら休んでも倦怠感がとれない.
頓服を飲む.
そのおかげか, 午後に鬱が少し軽くなってきたので, 買い物を兼ねた散歩に出かける.
1 時間半ほど歩く.
暑さにやられて気分が悪くなった. こういう日に無理はいけない.
買い物をして帰宅.
横になって休む.
夕方に起きて食事をとる.
豚キムチ.
まだ夕方だが, 布団に入る.
2023年06月28日
午前中寝込む 〜 アルコール依存症の自助グループ
5 時に目が覚めるが, 鬱が辛くて起き上がれない.
ここ数日, 朝, 目が覚めたときの鬱や倦怠感が辛い. 頓服を飲む.
いくら休んでも倦怠感がとれない.
午前中は寝込んだ.
頑張って昼に起き, アルコール依存症の自助グループに行く.
体を動かせば鬱が和らぐだろうと思い, 会場となっている教会まで歩く.
最初は一歩踏み出すのも辛かったが, 歩いているうちに気分が上向いてくる.
それにしても暑い.
ミーティングに参加して気持ちが落ち着く.
買い物をして帰宅.
食事をとる.
牛カルビ焼きとご飯.
元気を出したかった.
まだ明るいが布団に入る.
ここ数日, 朝, 目が覚めたときの鬱や倦怠感が辛い. 頓服を飲む.
いくら休んでも倦怠感がとれない.
午前中は寝込んだ.
頑張って昼に起き, アルコール依存症の自助グループに行く.
体を動かせば鬱が和らぐだろうと思い, 会場となっている教会まで歩く.
最初は一歩踏み出すのも辛かったが, 歩いているうちに気分が上向いてくる.
それにしても暑い.
ミーティングに参加して気持ちが落ち着く.
買い物をして帰宅.
食事をとる.
牛カルビ焼きとご飯.
元気を出したかった.
まだ明るいが布団に入る.
2023年06月27日
鬱が辛い中, いろいろやる
6 時半に目が覚める.
鬱と倦怠感が辛い. 起き上がることができない.
頓服を飲んで, 9 時半に起きる.
朝食をとる.
キャベツとパッションフルーツ.
パッションフルーツはデイケアの友人からもらった.
酸っぱくて美味しかった.
鬱が辛い.
買い物を兼ねた散歩に出かける.
水などを買う.
帰宅して食事.
ベーコンエッグ.
ゆっくり食べる.
鬱と倦怠感が苦しい.
まだ早いが布団に入る.
鬱と倦怠感が辛い. 起き上がることができない.
頓服を飲んで, 9 時半に起きる.
朝食をとる.
キャベツとパッションフルーツ.
パッションフルーツはデイケアの友人からもらった.
酸っぱくて美味しかった.
鬱が辛い.
買い物を兼ねた散歩に出かける.
水などを買う.
帰宅して食事.
ベーコンエッグ.
ゆっくり食べる.
鬱と倦怠感が苦しい.
まだ早いが布団に入る.
2023年06月26日
午後から寝込む
7 時起床.
鬱が辛い.
今日は朝一番で内科に行くので, 薬を飲んで何とか起き上がる.
帯状疱疹のワクチンの接種を受けた.
鬱が苦しい.
頑張って, 買い物を兼ねた散歩に出かける.
1 時間半ほど歩いた.
鬱はどうにか治まった.
帰宅して昼食をとる.
納豆と卵かけご飯.
ところが再び鬱が苦しくなってくる. 一度回復したのだが.
薬を飲んで寝込んだ.
鬱が苦しい.
自分は駄目だ, 自分の一生は全て失敗だったという思いが強くなってくる.
今日はこのまま休む.
鬱が辛い.
今日は朝一番で内科に行くので, 薬を飲んで何とか起き上がる.
帯状疱疹のワクチンの接種を受けた.
鬱が苦しい.
頑張って, 買い物を兼ねた散歩に出かける.
1 時間半ほど歩いた.
鬱はどうにか治まった.
帰宅して昼食をとる.
納豆と卵かけご飯.
ところが再び鬱が苦しくなってくる. 一度回復したのだが.
薬を飲んで寝込んだ.
鬱が苦しい.
自分は駄目だ, 自分の一生は全て失敗だったという思いが強くなってくる.
今日はこのまま休む.
2023年06月25日
数学の勉強 〜 買い物 〜 アルコール依存症の自助グループ
4 時半起床.
やや倦怠感がある.
数学をやる.
体がだるいこともあって, 今一つ集中できない.
朝食をとる.
パンと紅茶.
気分転換に買い物に行く.
いつものスーパーまでの遊歩道を歩いているうちにだるさは治まった.
帰宅して朝の数学の続きをやる.
以前のノートを読み返す.
午後からアルコール依存症の自助グループに行く.
会場の福祉センターまで歩くつもりで家を出たが, 暑さでばててしまい途中から電車に乗った.
今日のテーマは「一人ではない」.
少なくとも自分にとって, 断酒は自分一人では絶対に続けることができない. 意思の力ではどうにもならない.
そんなことを話した.
帰宅して夕食.
蕎麦と大根おろし.
早めに布団に入る.
やや倦怠感がある.
数学をやる.
体がだるいこともあって, 今一つ集中できない.
朝食をとる.
パンと紅茶.
気分転換に買い物に行く.
いつものスーパーまでの遊歩道を歩いているうちにだるさは治まった.
帰宅して朝の数学の続きをやる.
以前のノートを読み返す.
午後からアルコール依存症の自助グループに行く.
会場の福祉センターまで歩くつもりで家を出たが, 暑さでばててしまい途中から電車に乗った.
今日のテーマは「一人ではない」.
少なくとも自分にとって, 断酒は自分一人では絶対に続けることができない. 意思の力ではどうにもならない.
そんなことを話した.
帰宅して夕食.
蕎麦と大根おろし.
早めに布団に入る.
2023年06月24日
デイケアの友人と会う
7 時起床.
少し鬱が辛い.
何とか起き上がってコーヒーを淹れる.
コーヒーの香りで癒される.
ちょっと休んでから散歩に出かける.
1 時間ほど歩く.
ウォーキングは鬱を和らげる効果がある.
気分が上向いた.
帰宅してから数学をやる.
以前のノートを読み返す.
証明に何箇所か議論が曖昧なところがあったので修正する.
午後から出かけて, デイケアの友人と会う.
カフェに入っていろいろ話す.
友人の仕事のこと, お互いの病気のことなど.
友人は今の職場で仕事を続けていけそうだと言っていた.
大したものだと思う.
夕方前に別れ, 買い物をして帰宅.
午前中の数学の続きをやる.
ノートを読み返す.
夜は近所のラーメン屋に行く.
醤油ラーメン. 美味かった.
今日は朝は鬱で辛かったが, 何とか乗り切れたと思う.
早い時間に休む.
少し鬱が辛い.
何とか起き上がってコーヒーを淹れる.
コーヒーの香りで癒される.
ちょっと休んでから散歩に出かける.
1 時間ほど歩く.
ウォーキングは鬱を和らげる効果がある.
気分が上向いた.
帰宅してから数学をやる.
以前のノートを読み返す.
証明に何箇所か議論が曖昧なところがあったので修正する.
午後から出かけて, デイケアの友人と会う.
カフェに入っていろいろ話す.
友人の仕事のこと, お互いの病気のことなど.
友人は今の職場で仕事を続けていけそうだと言っていた.
大したものだと思う.
夕方前に別れ, 買い物をして帰宅.
午前中の数学の続きをやる.
ノートを読み返す.
夜は近所のラーメン屋に行く.
醤油ラーメン. 美味かった.
今日は朝は鬱で辛かったが, 何とか乗り切れたと思う.
早い時間に休む.
数学: モナドから導かれる随伴 (1) ── Eilenberg-Moore 圏
モナド ── 定義と随伴により引き起こされるモナド,
随伴から導かれるモナドの例 ── maybe モナド の続き.
随伴が与えられたとき, そこからモナドが構成されることを見た.
ではその逆, つまりモナドが与えられたときに何らかの仕方でそのモナドを導くような随伴を構成できるかという問題が生じる.
これに対しては, 圏 $\mathrm{C}$ 上の与えられたモナドから少なくとも 2 種類の随伴を構成できることが示せる.
1 つは Eilenbert-Moore 圏と $\mathrm{C}$ の間の随伴であり, もう 1 つは Kleisli 圏と $\mathrm{C}$ の間の随伴である.
これらは, モナド $T$ を導く全ての随伴からなる圏 $\mathbf{Adj}_T$ を考えたときに, それぞれそこにおける終対象と始対象になっている.
Eilenberg-Moore 圏を定義する.
定義. $\mathrm{C}$ をモナド $(T,\eta,\mu)$ を持つような圏とする. $T$ 上の Eilenberg-Moore 圏 (Eilenberg-Moore category) または $T$-代数の圏 (category of $T$-algebras) $\mathrm{C}^T$ を次のように構成する.
・ $\mathrm{C}$ の対象 $A$ と射 $a : TA \rightarrow A$ で, 図式
\begin{equation*}
\label{Eilenberg-Moore-category}
\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)/>->/<450,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@=24pt {
A \ar[r]^{\eta_A} \ar[dr]_{\Un{A}} & TA \ar[d]^a \\
& A
}
\qquad
\xymatrix@=24pt {
T^2A \ar[r]^{\mu_A} \ar[d]_{Ta} & TA \ar[d]^a \\
TA \ar[r]_a & A
}
\end{xy} \tag{1}
\end{equation*} を可換にするものの対 $(A,a)$ を $\rC^T$ における対象とする.
$(A,a)$, $(B,b)$ を $\rC^T$ の 2 つの対象とするとき, $\rC$ の射 $f : A \rightarrow B$ で, 図式
\begin{equation*}
\begin{xy}
\xymatrix@=24pt {
TA \ar[r]^{Tf} \ar[d]_a & TB \ar[d]^b \\
A \ar[r]_f & B
}
\end{xy}
\end{equation*} を可換にするものを圏 $\rC^T$ における射 $f : (A,a) \rightarrow (B,b)$ とする.
例. 集合の圏 $\Set$ 上の maybe モナド $(T,\eta,\mu)=((-)_+,\eta,\mu)$ を考える. 簡単のために
\begin{equation*}
TA=A_+=A \amalg \{\bot_A\}
\end{equation*} と記すことにする. ここで $\bot_A$ は $A$ の元以外の元である. 具体的にはたとえば集合 $A$ 自体を考えればよい ($A_+ = A \amalg \{A\}$). このモナドから構成される Eilenberg-Moore 圏 $\Set^T$ において, 対象 $(A,a)$ は, $\rC$ の対象 $A$ と, 図式 (\ref{Eilenberg-Moore-category}) を可換にする $\rC$ の射 $a : A+ \rightarrow A$ により構成される. (\ref{Eilenberg-Moore-category}) の左の三角形の図式は, $a$ が $A \subset A_+$ 上では恒等写像であることを示している.
また, $a$ による $\bot_A \in A_+$ の移り先は $A$ のいずれかの点であり, $(A,a(\bot_A)) \in \Set_+$, より簡潔に $(A,a)$ と記すことができる.
$\Set^T$ における射 $f : (A,a) \rightarrow (B,b)$ は $\Set$ における関数 $f : A \rightarrow B$ で図式
\begin{equation*}
\begin{xy}
\xymatrix@=24pt {
A_+ \ar[r]^{f_+} \ar[d]_a & B_+ \ar[d]^b \\
A \ar[r]_f & B
}
\end{xy}
\end{equation*} を可換にするものである. したがって $f(\bot_A) = \bot_B$ であり, $a(\bot_A$), $b(\bot_B)$, を単に $a,b$ と書けば $f(a) = b$ となる.
つまり, meybe モナド $(T,\eta,\mu)$ 上の Eilenberg-Moore 圏 $\Set^T$ は点付き集合の圏 $\Set_+$ と同一視できる.
Eilenberg-Moore 圏において次の補題が成り立つ.
補題. 圏 $\rC$ 上の任意のモナド $(T,\eta,\mu)$ に対して, $\rC$ と Eilenberg-Moore 圏の間の随伴
\begin{equation*}
\begin{xy}
\xymatrix@=32pt {
\rC \ar@<1ex>[r]^{F^T} \ar@{}[r]|{\bot} & \rC^T \ar@<1ex>[l]^{U^T}
}
\end{xy}
\end{equation*} が存在し, この随伴から導かれるモナドは $(T,\eta,\mu)$ である.
証明は省略するが, $U^T : \rC^T \rightarrow \rC$ は忘却関手 (forgetful functor) として定まり, $F^T : \rC \rightarrow \rC^T$ は $\rC$ の対象 $A$ に対してその像を
\begin{equation*}
F^TA := (TA,\mu_A : T^2A \rightarrow TA)
\end{equation*} として, $\rC$ の射 $f : A \rightarrow B$ に対して
\begin{equation*}
F^Tf := (TA,\mu_A) \xrightarrow{Tf} (TB,\mu_B)
\end{equation*} として定まる.
定義より
\begin{equation*}
U^T F^T A = TA,
\end{equation*} すなわち $U^T F^T = T$ である.
この随伴における単位 (unit) $\eta : \Un{\rC} \Rightarrow U^T F^T$ は, モナド $(T,\eta,\mu)$ における $\eta$ そのものであり, 余単位 (counit) $\epsilon : F^T U^T \Rightarrow \Un{\rC^T}$ は $\rC^T$ の各対象 $(A,a)$ に対して
\begin{equation*}
\epsilon_{(A,a)} := a : F^T U^T A = TA \rightarrow A
\end{equation*} である. この $\epsilon$ に対して $U^T \epsilon F^T = \mu : T^2 \Rightarrow T$ が成り立つ.
随伴から導かれるモナドの例 ── maybe モナド の続き.
随伴が与えられたとき, そこからモナドが構成されることを見た.
ではその逆, つまりモナドが与えられたときに何らかの仕方でそのモナドを導くような随伴を構成できるかという問題が生じる.
これに対しては, 圏 $\mathrm{C}$ 上の与えられたモナドから少なくとも 2 種類の随伴を構成できることが示せる.
1 つは Eilenbert-Moore 圏と $\mathrm{C}$ の間の随伴であり, もう 1 つは Kleisli 圏と $\mathrm{C}$ の間の随伴である.
これらは, モナド $T$ を導く全ての随伴からなる圏 $\mathbf{Adj}_T$ を考えたときに, それぞれそこにおける終対象と始対象になっている.
Eilenberg-Moore 圏を定義する.
定義. $\mathrm{C}$ をモナド $(T,\eta,\mu)$ を持つような圏とする. $T$ 上の Eilenberg-Moore 圏 (Eilenberg-Moore category) または $T$-代数の圏 (category of $T$-algebras) $\mathrm{C}^T$ を次のように構成する.
・ $\mathrm{C}$ の対象 $A$ と射 $a : TA \rightarrow A$ で, 図式
\begin{equation*}
\label{Eilenberg-Moore-category}
\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)/>->/<450,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@=24pt {
A \ar[r]^{\eta_A} \ar[dr]_{\Un{A}} & TA \ar[d]^a \\
& A
}
\qquad
\xymatrix@=24pt {
T^2A \ar[r]^{\mu_A} \ar[d]_{Ta} & TA \ar[d]^a \\
TA \ar[r]_a & A
}
\end{xy} \tag{1}
\end{equation*} を可換にするものの対 $(A,a)$ を $\rC^T$ における対象とする.
$(A,a)$, $(B,b)$ を $\rC^T$ の 2 つの対象とするとき, $\rC$ の射 $f : A \rightarrow B$ で, 図式
\begin{equation*}
\begin{xy}
\xymatrix@=24pt {
TA \ar[r]^{Tf} \ar[d]_a & TB \ar[d]^b \\
A \ar[r]_f & B
}
\end{xy}
\end{equation*} を可換にするものを圏 $\rC^T$ における射 $f : (A,a) \rightarrow (B,b)$ とする.
例. 集合の圏 $\Set$ 上の maybe モナド $(T,\eta,\mu)=((-)_+,\eta,\mu)$ を考える. 簡単のために
\begin{equation*}
TA=A_+=A \amalg \{\bot_A\}
\end{equation*} と記すことにする. ここで $\bot_A$ は $A$ の元以外の元である. 具体的にはたとえば集合 $A$ 自体を考えればよい ($A_+ = A \amalg \{A\}$). このモナドから構成される Eilenberg-Moore 圏 $\Set^T$ において, 対象 $(A,a)$ は, $\rC$ の対象 $A$ と, 図式 (\ref{Eilenberg-Moore-category}) を可換にする $\rC$ の射 $a : A+ \rightarrow A$ により構成される. (\ref{Eilenberg-Moore-category}) の左の三角形の図式は, $a$ が $A \subset A_+$ 上では恒等写像であることを示している.
また, $a$ による $\bot_A \in A_+$ の移り先は $A$ のいずれかの点であり, $(A,a(\bot_A)) \in \Set_+$, より簡潔に $(A,a)$ と記すことができる.
$\Set^T$ における射 $f : (A,a) \rightarrow (B,b)$ は $\Set$ における関数 $f : A \rightarrow B$ で図式
\begin{equation*}
\begin{xy}
\xymatrix@=24pt {
A_+ \ar[r]^{f_+} \ar[d]_a & B_+ \ar[d]^b \\
A \ar[r]_f & B
}
\end{xy}
\end{equation*} を可換にするものである. したがって $f(\bot_A) = \bot_B$ であり, $a(\bot_A$), $b(\bot_B)$, を単に $a,b$ と書けば $f(a) = b$ となる.
つまり, meybe モナド $(T,\eta,\mu)$ 上の Eilenberg-Moore 圏 $\Set^T$ は点付き集合の圏 $\Set_+$ と同一視できる.
Eilenberg-Moore 圏において次の補題が成り立つ.
補題. 圏 $\rC$ 上の任意のモナド $(T,\eta,\mu)$ に対して, $\rC$ と Eilenberg-Moore 圏の間の随伴
\begin{equation*}
\begin{xy}
\xymatrix@=32pt {
\rC \ar@<1ex>[r]^{F^T} \ar@{}[r]|{\bot} & \rC^T \ar@<1ex>[l]^{U^T}
}
\end{xy}
\end{equation*} が存在し, この随伴から導かれるモナドは $(T,\eta,\mu)$ である.
証明は省略するが, $U^T : \rC^T \rightarrow \rC$ は忘却関手 (forgetful functor) として定まり, $F^T : \rC \rightarrow \rC^T$ は $\rC$ の対象 $A$ に対してその像を
\begin{equation*}
F^TA := (TA,\mu_A : T^2A \rightarrow TA)
\end{equation*} として, $\rC$ の射 $f : A \rightarrow B$ に対して
\begin{equation*}
F^Tf := (TA,\mu_A) \xrightarrow{Tf} (TB,\mu_B)
\end{equation*} として定まる.
定義より
\begin{equation*}
U^T F^T A = TA,
\end{equation*} すなわち $U^T F^T = T$ である.
この随伴における単位 (unit) $\eta : \Un{\rC} \Rightarrow U^T F^T$ は, モナド $(T,\eta,\mu)$ における $\eta$ そのものであり, 余単位 (counit) $\epsilon : F^T U^T \Rightarrow \Un{\rC^T}$ は $\rC^T$ の各対象 $(A,a)$ に対して
\begin{equation*}
\epsilon_{(A,a)} := a : F^T U^T A = TA \rightarrow A
\end{equation*} である. この $\epsilon$ に対して $U^T \epsilon F^T = \mu : T^2 \Rightarrow T$ が成り立つ.
2023年06月23日
穏やかな一日
2 時起床.
体調はいい.
数学をやる.
以前のノートを読み返す.
かなり集中できた.
朝までやって区切りを付ける.
食事をとる.
キャベツとベーコンネッグとコーヒー.
疲れたので横になって休む.
短い時間休むだけのつもりが, 昼まで寝てしまった.
そんなに疲れていたのだろうか.
午後から散歩に出かける.
1 時間半ほど歩いた.
買い物をして帰宅.
数学の続きを少しやってから夕食.
牛焼き肉とご飯.
平和な一日を過ごせた.
まだ明るいが布団に入る.
体調はいい.
数学をやる.
以前のノートを読み返す.
かなり集中できた.
朝までやって区切りを付ける.
食事をとる.
キャベツとベーコンネッグとコーヒー.
疲れたので横になって休む.
短い時間休むだけのつもりが, 昼まで寝てしまった.
そんなに疲れていたのだろうか.
午後から散歩に出かける.
1 時間半ほど歩いた.
買い物をして帰宅.
数学の続きを少しやってから夕食.
牛焼き肉とご飯.
平和な一日を過ごせた.
まだ明るいが布団に入る.
2023年06月22日
デイケアに行く
3 時起床.
今日は鬱と倦怠感が無い.
数学をやる.
ノートを読み直す. 記述が曖昧なところがあったで修正する.
久し振りに頭を使ったせいか, あまり集中できず, すぐに疲れてしまう.
休みをとりながら朝まで続けた.
朝食をとる.
キャベツとベーコンエッグとコーヒー.
午前中は買い物に出かけた.
食用油やコーヒーなどを買う.
昼までの時間, 朝の数学の続きをやる.
午後からデイケアに行く.
今日のプログラムは「生きづらさをつぶやく」.
最近の体調不良のことなど吐き出した.
帰宅して夕食をとる.
パンとコーヒー.
今日のような日が明日以降も続いてほしい.
早めに布団に入る.
今日は鬱と倦怠感が無い.
数学をやる.
ノートを読み直す. 記述が曖昧なところがあったで修正する.
久し振りに頭を使ったせいか, あまり集中できず, すぐに疲れてしまう.
休みをとりながら朝まで続けた.
朝食をとる.
キャベツとベーコンエッグとコーヒー.
午前中は買い物に出かけた.
食用油やコーヒーなどを買う.
昼までの時間, 朝の数学の続きをやる.
午後からデイケアに行く.
今日のプログラムは「生きづらさをつぶやく」.
最近の体調不良のことなど吐き出した.
帰宅して夕食をとる.
パンとコーヒー.
今日のような日が明日以降も続いてほしい.
早めに布団に入る.
