ていへんかけるたかさわるに

cf. M. Barr, C. Wells, "Toposes, Triples and Theories", Chapter 2, 2.1. Basic Ideas about Toposes

トポスの一つの定義は, 集合の一般化というものである. 集合の圏が持っている性質 (1) 有限完備性; (2) 任意の集合に対して, その部分集合全体からなる集合 ── 冪集合 ── が存在する, を一般化して定義するものである.
ここで有限完備性は集合の圏内で任意の有限極限が存在するという主張であるが, 一般の圏について以下はすべて同値である.
(a) 任意の有限極限が存在する;
(b) 任意の 2 つの対象に対する直積と, 任意の 2 つの射に対するイコライザーが存在する;
(c) 終対象 (集合の圏においては一点集合がこれにあたる) と任意の引き戻しが存在する.

$\mathscr{E}$ を有限極限を持つ圏とする. この圏の対象 $A$ を固定すると, $\mathscr{E}$ において, $A$ との積をとる操作 $-\times A$ は $\mathscr{E}$ からそれ自身への関手となる. これと部分対象関手 $\mathrm{Sub} : \mathscr{E}^{\mathrm{op}} \rightarrow \mathbf{Set}$ との合成で得られる関手
\begin{equation*}
\DeclareMathOperator{\Ar}{Ar}
\DeclareMathOperator{\Arccos}{Arccos}
\DeclareMathOperator{\Arcsin}{Arcsin}
\DeclareMathOperator{\Arr}{Arr}
\DeclareMathOperator{\Card}{card}
\DeclareMathOperator{\Codomain}{cod}
\DeclareMathOperator{\Colim}{colim}
\DeclareMathOperator{\Cocone}{Cocone}
\DeclareMathOperator{\Cone}{Cone}
\DeclareMathOperator{\Domain}{dom}
\DeclareMathOperator{\Hom}{Hom}
\DeclareMathOperator{\In}{in}
\DeclareMathOperator{\INIT}{init}
\DeclareMathOperator{\Nat}{Nat}
\DeclareMathOperator{\Ob}{Ob}
\DeclareMathOperator{\Path}{Path}
\DeclareMathOperator{\SF}{SF}
\DeclareMathOperator{\Sub}{Sub}
\DeclareMathOperator{\TERM}{term}
\newcommand{\Cdot}{\,\cdot^{\mathrm{op}}}
\newcommand{\CommaCat}[2]{(#1/#2)}
\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{\FnRest}[2]{{#1}|{#2}}
\newcommand{\Func}[2]{\mathrm{Func}(#1,#2)}
\newcommand{\g}{\varg}
\newcommand{\Id}[1]{\mathrm{id}_{#1}}
\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{\Lb}[1]{\mathrm{lb}(#1)}
\newcommand{\Lowerset}[1]{\downarrow\!\!{#1}}
\newcommand{\Mb}[1]{\mathbf{#1}}
\newcommand{\Mbb}[1]{\mathbb{#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{\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{\SkelCat}[1]{\mathrm{sk}(#1)}
\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{\Upperset}[1]{\uparrow\!\!{#1}}
\newcommand{\VectCat}[1]{#1 \mathchar`- \mathbf{Vect}}
\newcommand{\Grp}{\mathbf{Grp}}
\newcommand{\Mon}{\mathbf{Mon}}
\newcommand{\POs}{\mathbf{Poset}}
\newcommand{\Psh}{\mathbf{Psh}}
\newcommand{\Set}{\mathbf{Set}}
\newcommand{\Sh}{\mathbf{Sh}}
\newcommand{\Top}{\mathbf{Top}}
\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{\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{\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{\Natural}{\mathbf{N}}
\newcommand{\Integer}{\mathbf{Z}}
\newcommand{\Real}{\mathbf{R}}
\newcommand{\Rational}{\mathbf{Q}}
\newcommand{\Complex}{\mathbf{C}}
\Sub(- \times A) : \Opp{\sE} \longrightarrow \Set
\end{equation*} を考える.

この関手が $\sE$ において表現可能, すなわち $\sE$ のある対象 $\Pw{A}$ が存在して, $\sE$ の任意の対象 $B$ に対して
\begin{equation*}
\Hom_{\sE}(B,\Pw{A}) \simeq \Sub(B \times A)
\end{equation*} が成り立つとき, $\Pw{A}$ を $\sE$ における $A$ の 羃対象 (power object) と呼ぶ.

定義 (トポス). 圏 $\sE$ が有限極限を持ち, かつ $\sE$ の各対象が羃対象を持つならば, $\sE$ は トポス (topos) であるという.

集合の圏 $\Set$ はトポスである. このとき羃対象は
\begin{equation*}
\Pw{A} = \{ A_0 \subset A \mid \text{$A_0$ は $A$ の部分集合} \}
\end{equation*} である.

${\phi(A,B)} : \Hom_{\Set}(B,\Pw{A}) \rightarrow \Sub(B \times A)$ を
\begin{align*}
\phi(A,B)(f : B \rightarrow \Pw{A})
& = \bigcup_{b \in B} \{ b \} \times f(b) \\
& = \left\{ (b,a) \in B \times A \mid a \in f(b)\qq (b \in B) \right\}
\end{align*} と定義する. また $\psi(A,B) : \Sub(B \times A)$ を
\begin{equation*}
\psi(A,B)(C \subset B \times A) = \left( B \rightarrow \Pw{A} ;\, b \mapsto \{ a \in A \mid (b,a) \in C \} \right)
\end{equation*} と定義する. このとき, $\phi(A,B)$ と $\psi(A,B)$ は互いに他の逆写像になっている. つまり図式
\begin{equation*}
\begin{xy}
\xymatrix@=48pt {
\Hom_{\Set}(B,\Pw{A}) \ar[r]^{\phi(A,B)} & \Sub(B \times A) & \Hom_{\Set}(B,\Pw{A}) \ar[d]_{\Id{~}} \ar[r]^{\phi(A,B)} & \Sub(B \times A) \ar[dl]^{\psi(A,B)} \\
~ & \Sub(B \times A) \ar[ul]^{\psi(A,B)} \ar[u]_{\Id{~}} & \Hom_{\Set}(B,\Pw{A}) & ~
}
\end{xy}
\end{equation*} は可換である.
\begin{align*}
\phi(A,B) \circ \psi(A,B)(C \subset B \times A)
& = \phi(A,B)\!\left( f : B \rightarrow \Pw{A} ;\, b \mapsto \{ a \in A \mid (b,a) \in C \} \right) \\
& = \{ (b,a) \in B \times A \mid a \in f(b)\qq (b \in B) \} \\
& = \{ (b,a) \in B \times A \mid a \in \{ a \in A \mid (b,a) \in C \} \} \\
& = \{ (b,a) \in B \times A \mid (b,a) \in C \} \\
& = C, \\
\psi(A,B) \circ \phi(A,B)(f : B \rightarrow \Pw{A})
& = \psi(A,B)\!\left( \{ (b,a) \in B \times A \mid a \in f(b) \} \right) \\
& = \psi(A,B)\!\left( \bigcup_{b \in B} \{ b \} \times \{ a \in A \mid a \in f(b) \} \right) \\
& = \left( B \rightarrow \Pw{A};\, b \mapsto \{ a \in A \mid a \in f(b) \} \right) \\
& = \left( B \rightarrow \Pw{A};\, b \mapsto f(b) \right) \\
& = (f : B \rightarrow \Pw{A})
\end{align*}

さらに $\phi(A,B)$ は $B$ に関して自然な同型である. つまり任意の $f : B \rightarrow B'$ に対して図式
\begin{equation*}
\begin{xy}
\xymatrix@=48pt {
\Hom_{\Set}(B,\Pw{A}) \ar[r]^{\phi(A,B)} & \Sub(B \times A) \\
\Hom_{\Set}(B',\Pw{A}) \ar[u]^{\Hom_{\Set}(f,\Pw{A})} \ar[r]_{\phi(A,B')} & \Sub(B' \times A) \ar[u]_{\Sub(f \times A)} \\
}
\end{xy}
\end{equation*} は可換になる. ここで $f \times A : B \times A \rightarrow B' \times A$ は
\begin{equation*}
(f \times A)(b,a) = (f(b),a)
\end{equation*} により定義され, $\Sub(f \times A) : \Sub(B' \times A) \rightarrow \Sub(B \times A)$ は引き戻し
\begin{equation*}
\newdir{ >}{{}*!/-5pt/@{>}}
\newdir{ (}{{}*!/-2pt/@^{(}}
\newdir{) }{{}*!/3pt/@_{)}}
\begin{xy}
\xymatrix@=48pt {
\bullet \ar@{{ >}->}[d]_{\Sub(f \times A)(-)} \ar[r] & \bullet \ar@{{ >}->}[d]^{-} \\
B \times A \ar[r]_{f \times A} & B' \times A
}
\end{xy}
\end{equation*} により定義される写像である.


トポスの $\Set$ 以外の例
(i) $G$ を任意の群としたとき, $G$ の作用が定義された集合の圏 $G$-$\Set$ はトポスである.

(ii) $\sC$ を任意の小さな圏 ── 対象の全体 $\Ob{\sC}$ と射の全体 $\Ar{\sC}$ が共に集合 ── としたとき, 集合の圏に値をとる関手のなす圏 $\Func{\Opp{\sC}}{\Set}$ はトポスである.

(iii) $X$ を任意の位相空間としたとき, $X$ 上の層全体の成す圏 $\Sh(X)$ はトポスである.

---

2019 年 11 月 30 日: $\phi(A,B)$ の図式の縦の射の向きが逆になっていたのと, $\Sub(f \times A)$ の定義が間違っていたのを修正. まだ基本的な理解ができていないところがある.