圈
category
等式公理による定義
圈$ \bf Cとは、對象 (object) の類 (class)$ |{\bf C}|と射 (morphism。arrow) の類 (class)$ {\rm Hom}_{\bf C}で、以下の公理を滿たすもの 射$ fは 域 (domain)$ {\rm dom}(f)\in|{\bf C}|と餘域 (codomain)$ {\rm cod}(f)\in|{\bf C}|を持つ
$ {\rm dom}(f)=aかつ$ {\rm cod}(f)=bの時$ f:a \to bと書く
射$ f,$ gは$ {\rm cod}(f)={\rm dom}(g)ならば合成射$ f;g\in{\rm Hom}_{\bf C}を持つ 單に$ f;g;hと書く
全ての對象$ \forall a\in|{\bf C}|に對して恆等射$ \exist{\rm id}_a:a\to aが在り、全ての$ aへの射$ \forall f:-\to aに對して$ f;{\rm id}_a=fが、全ての$ aからの射$ \forall f:a\to -に對して$ {\rm id}_a;f=fが成り立つ 射のみを使った定義
$ {\rm Hom}_{\bf C}を集合もしくは類 (class) として、組$ ({\rm Hom}_{\bf C},{\rm dom},{\rm cod},;)は以下を滿たすならば圈である $ f\in{\rm Hom}_{\bf C}ならば$ {\rm dom}(f)\in{\rm Hom}_{\bf C}
$ f\in{\rm Hom}_{\bf C}ならば$ {\rm cod}(f)\in{\rm Hom}_{\bf C}
$ f\in{\rm Hom}_{\bf C}ならば$ {\rm dom}({\rm dom}(f))={\rm dom}(f)
$ f\in{\rm Hom}_{\bf C}ならば$ {\rm cod}({\rm dom}(f))={\rm dom}(f)
$ f\in{\rm Hom}_{\bf C}ならば$ {\rm dom}({\rm cod}(f))={\rm cod}(f)
$ f\in{\rm Hom}_{\bf C}ならば$ {\rm cod}({\rm cod}(f))={\rm cod}(f)
合成射$ f,g\in{\rm Hom}_{\bf C}かつ$ {\rm cod}(f)={\rm dom}(g)ならば$ f;g\in{\rm Hom}_{\bf C} 結合律$ f,g,h\in{\rm Hom}_{\bf C}かつ$ {\rm cod}(f)={\rm dom}(g)かつ$ {\rm cod}(g)={\rm dom}(h)ならば$ (f;g);h=f;(g;h) $ f\in{\rm Hom}_{\bf C}ならば$ {\rm dom}(f);f=f
$ f\in{\rm Hom}_{\bf C}ならば$ f;{\rm cod}(f)=f
$ |{\bf C}|,$ {\rm Hom}_{\bf C}を集合もしくは類 (class)として、組$ (|{\bf C}|,{\rm Hom}_{\bf C},{\rm dom},{\rm cod},;,{\rm id})は以下を滿たすなら圈である $ {\rm dom}:{\rm Hom}_{\bf C}\to|{\bf C}|
$ {\rm cod}:{\rm Hom}_{\bf C}\to|{\bf C}|
$ {\rm id}:|{\bf C}|\to|{\bf C}|
$ ;:{\rm Hom}_{\bf C}\times_{|{\bf C}|}{\rm Hom}_{\bf C}\to{\rm Hom}_{\bf C}
$ f;g(圖式順) を$ g\circ f(反圖式順) とも書く。どちらも$ \cdot\xrightarrow{f}\cdot\xrightarrow{g}\cdotの合成を指す
$ {\rm Hom}_{\bf C}\times_{|{\bf C}|}{\rm Hom}_{\bf C}\xrightarrow{;}{\rm Hom}_{\bf C}\xrightarrow{\rm dom}|{\bf C}|\xleftarrow{\rm cod}{\rm Hom}_{\bf C}\xleftarrow{;}{\rm Hom}_{\bf C}\times_{|{\bf C}|}{\rm Hom}_{\bf C}
つまり$ {\rm Hom}_{\bf C}\times_{|{\bf C}|}{\rm Hom}_{\bf C}=\{(f,g)|f,g\in{\rm Hom}_{\bf C},{\rm cod}(f)={\rm dom}(g)\}
$ {\rm Hom}_{\bf C}\times_{|{\bf C}|}{\rm Hom}_{\bf C}\times_{|{\bf C}|}{\rm Hom}_{\bf C}\xrightarrow{;\times{\rm id}}{\rm Hom}_{\bf C}\times_{|{\bf C}|}{\rm Hom}_{\bf C}\xrightarrow{;}{\rm Hom}_{\bf C}\xleftarrow{;}{\rm Hom}_{\bf C}\times_{|{\bf C}|}{\rm Hom}_{\bf C}\xleftarrow{{\rm id}\times;}{\rm Hom}_{\bf C}\times_{|{\bf C}|}{\rm Hom}_{\bf C}\times_{|{\bf C}|}{\rm Hom}_{\bf C}
多重有向 graph (multidigraph。箙 (quiver)) の path 同値關係による定義 圈とは，邊集合上に monoid っぽい構造を持つ多重有向 graph である． 〈graph〉（別称：圈，亜 monoid）≈ 多重有向 graph +（ほぼ）monoid 圈は對象が一つとは限らない monoid である。圈は多種化 (many sortize。亞化 (oidification)) した monoid、卽ち亞 monoid である 圈とは，多重有向 graph の path 上の合同關係による商〈graph〉のことであった． 多重有向 graph (multidigraph)$ (V,E):=\{x\xrightarrow{a}y|x,y\in V,a\in E\}と、monoid を成す path の結合$ \forall a_{\in V}\exist{1_a}_{\in E},$ a;bが在るとする path の同値關係$ =_{\subseteq E\times E}を以下で定める $ x\xrightarrow{a}yと$ x'\xrightarrow{a'}y'に就いて$ a=a'ならば$ x=x'且つ$ y=y'
$ x\xrightarrow{a=a'}y\xrightarrow{b=b'}zならば$ x\xrightarrow{a;b=a';b'}z
函手と呼ぶ準同型$ F:(V,E)\to(V',E'):=({F_V}_{:V\to V'},{F_E}_{:E\to E'})を以下で定める $ x\xrightarrow{a}yならば$ F_V(x)\xrightarrow{F_E(a)}F_V(y)
$ F_V(x)\xrightarrow{1_{F_V(x)}=F_E(1_x)}F_V(x).
$ F_V(x)\xrightarrow{F_E(a)}F_V(y)\xrightarrow{F_E(b)}F_V(z)ならば$ F_V(x)\xrightarrow{F_E(a);F_E(b)=F_E(a;b)}F_V(z)
小さい (small)
圈$ \bf Cが小さいとは、$ |{\bf C}|と$ {\rm Hom}_{\bf C}とが共に集合である事を言ふ 局所的に小さい (locally small)
圈$ \bf Cが局所的に小さいとは、全ての對象$ \forall a,b_{\in|{\bf C}|}に對して$ {\bf C}(a,b)=\{f|f:a\to b\}が集合である事を言ふ この時$ {\bf C}(a,b)を Hom 集合 (Hom set。射集合) と呼ぶ。$ {\rm Hom}_{\bf C}(a,b)とも書く
monoidal 圈$ ({\bf Set},\times,\{*\})に於いて$ {\bf C}(a,b)\times{\bf C}(b,c)={\bf C}(a,c)と成る事を言ふ 對象と射に依って定義されるもの
圈の圈
圈の圈$ \bf CAT
小さい圈の圈$ \bf Cat
射は寫像
對象をただ一つ持つ
詰まり、全ての$ \forall f \in \bf Homに對して$ \exist f^{-1} \in \bf{Hom}が存在し$ f \circ f^{-1}=f^{-1} \circ f={\rm id}を滿たす
對象は要素
射は要素の關係$ \leq
中可換圈 (medial category)
(n,r)-圈
(∞,1)-圈
もう諦めない圈論入門