單子 (範疇論)

Template:For 數學的分支範疇論中，單子（Template:Lang-en），又稱三元組（Template:Lang）、標準構造（Template:Lang）、基本構造（Template:Lang），是一個Template:Le（即由某範疇映到自身的函子），連同滿足特定Template:Le的兩個自然變換，三者構成的整體。單子用於研究互為伴隨的函子對，並將偏序集上的闭包算子推廣到任意範疇。

導論與定義

單子是一類Template:Le（連同其他資訊）。例如，若$F$和$G$為一對伴隨函子，$F$為$G$的左伴隨，則複合$G\circ F$是單子。若$F$與$G$互為逆函子，則對應的單子是恆等函子。一般而言，伴隨關係並不等同范畴的等价，而可以聯繫不同性質的範疇。為了探討伴隨關係所「保持」的性質，數學家研究單子論。理論的另一半，即藉考慮$F\circ G$，以研究伴隨關係，是單子論的對偶理論。該類函子稱為餘單子（Template:Lang-en）。

嚴格定義

本條目中，$𝒞$皆表示某範疇。$𝒞$上的單子是函子$T:𝒞\to 𝒞$，連同兩個自然變換，分別是單位$\eta :1_{𝒞}\to T$（其中$1_{𝒞}$是$𝒞$上的恆等函子）與乘法$\mu :T^2\to T$（其中$T^2$是複合$T\circ T$，亦是$𝒞$到$𝒞$的函子），且要滿足下列Template:Le：

• $\mu \circ T\mu =\mu \circ \mu T$（左右皆為$T^3\to T$的自然變換）。此處$T\mu$與$\mu T$經水平複合而得。
• $\mu \circ T\eta =\mu \circ \eta T=1_T$（兩者皆為$T\to T$的自然變換）。此處$1_T$表示由函子$T$到自身的恆等自然變換。

以上兩式，亦可以下列交換圖複述：

記號$T\mu$與$\mu T$的含義，參見自然變換，又或考慮以下更具體的寫法，不用水平複合記號，並將各函子作用在任意物件$X$上：

定義中，若將$\mu$當成幺半群的乘法，則第一條公理類似Template:Le的乘法結合律，而第二條公理類似單位元的存在性（由$\eta$給出）。準確而言，$𝒞$上的單子，可以等價地定義為$𝒞$的內函子範疇${𝐄𝐧𝐝}_{𝒞}$中的Template:Le。（該範疇的物件是$C$上的內函子，而態射是內函子間的自然變換，幺半結構來自內函子的複合運算。）如此，單子不僅在形式上具有與幺半群相似的公理，甚而單子就是幺半群的特例。

冪集單子

冪集單子$𝒫$是集合範疇$𝐒𝐞𝐭$上的單子。其定義中，函子$T$取為冪集運算，即$T(A)$為集合$A$的冪集，而對於函數$f:A\to B$，$T(f)$將$A$的子集映至其像集，即$T(f)(A^{\prime })=f[A^{\prime }]$。對每個集合$A$，有函數${\eta }_A:A\to T(A)$，對每個元素$a\in A$映至單元子集$\{a\}$， 並有函數

${\mu }_A:T(T(A))\to T(A),$

將$A$的若干個子集構成的族，映至該些子集的並集。以上是冪集單子的定義。

兩個單子的複合，未必為單子。舉例，冪集單子$𝒫$的二次疊代$𝒫\circ 𝒫$，無法配備單子結構。

餘單子

取上節定義的Template:Le，便是餘單子（或餘三元組）的定義。簡單複述，範疇$𝒞$上的餘單子，是Template:Le$C^{\mathrm{o}\mathrm{p}}$上的單子。所以，餘單子是由$𝒞$到$𝒞$的某個函子$U$，連同餘單位與餘乘法（Template:Lang-en）兩個自然變換，組成的整體，而三者所要滿足的公理，是將原定義中所有態射反轉方向而得。

單子之於幺半群，如同餘單子之於餘幺半群。每個集合皆是餘幺半群，且僅有唯一一種方式，所以抽象代數中，較少考慮餘幺半群。然而，在線性代數中，向量空間範疇（配備張量積）的餘幺半群較為重要，以餘代數之名為人所知。

歷史

Template:Expand section 單子的概念最早由Template:Le於1958年提出，當時稱為「標準構造」（Template:Lang-en）。實際上，該書用到的是餘單子，用作解決某個Template:Le問題。

其後，單子又出現於彼得·胡伯（Template:Lang）對範疇同倫的研究中。該論文包含由任意一對伴隨函子得出單子的證明。

1965年，Template:Le，及塞缪尔·艾伦伯格、Template:Le二人分別獨立證明反向的結論，即每個單子皆可由某對伴隨函子產生。後一篇論文中，將單子稱為「三元組」。

1963年，Template:Le提出泛代數的範疇論。1966年，弗雷德·林頓（Template:Lang）將該理論用單子的語言表達。單子本身來自拓撲方面的考量，事先似乎比洛維爾的理論更難處理，但已成為用範疇論語言闡述泛代數的方法中，較常見的一個。現今常用的英文名稱Template:Lang是1971年由桑德斯·麥克蘭恩在《Template:Le》引入，以其類似單子論中的同名哲學概念，即某種能生出其他所有事物的實體。

1980年代，Template:Le在理論計算機科學中，利用單子，為電腦程式的若干方面建立模型，包括例外處理、邊界情況。此後，有多種函數式編程語言仔細實作此想法，作為一種基本規律，同樣稱為單子。2001年，若干數學家注意到，用單子研究程式標誌語意的方法，與洛維爾的理論，兩者之間有關聯。。此為代數與語義間的聯繫，是後來活躍的研究課題。

例子

伴隨的複合

若有伴隨關係

$F:𝒞\rightleftarrows 𝒟:G$

（即$F$為$G$的左伴隨，下同），則由此有$𝒞$上的單子。此普遍的構造，取內函子為複合

$T=G\circ F,$

而單位自然變換來自伴隨的單位$\eta :{\mathrm{id}}_{𝒞}\to G\circ F$，乘法自然變換源自伴隨的餘單位$\epsilon$：

$T^2=G\circ F\circ G\circ F\stackrel{G\circ \epsilon \circ F}{\to }G\circ F=T.$

反之，給定單子，可以明確找回一對伴隨函子，使單子為該對伴隨函子的複合。此構造用到下節定義的$T$代數的艾倫伯格－摩爾範疇$C^T$。

兩重對偶

給定域$k$，雙重對偶單子（Template:Lang-en）源自伴隨關係

$(-{)}^{*}:{𝐕𝐞𝐜𝐭}_k\rightleftarrows {𝐕𝐞𝐜𝐭}_k^{\mathrm{o}\mathrm{p}}:(-{)}^{*},$

其中兩個函子$(-{)}^{*}$皆將$k$向量空间$V$映至對偶空間$V^{*}:=\mathrm{Hom}(V,k)$，所以對應的單子將向量空間$V$映至雙對偶$V^{**}$。Template:Harvtxt對此有更廣泛的討論。

偏序集的閉包算子

偏序集$(P,\le )$可以視為特殊的範疇，任意兩件物件之間有最多一支態射，且$x$到$y$有態射当且仅当偏序中$x\le y$。於是，偏序集之間的函子，即是保序映射，而伴隨函子對，則組成兩偏序集間的伽罗瓦连接，相應的單子是伽羅華連接的闭包算子。

自由遺忘伴隨

又舉例，設$G$為群範疇$𝐆𝐫𝐩$至集合范畴$𝐒𝐞𝐭$的遺忘函子，將群映至其基集，又設$F$為自由函子，由$𝐒𝐞𝐭$到$𝐆𝐫𝐩$，則$F$是$G$的左伴隨。此時，對應的單子$T=G\circ F$的作用是，輸入一個集合$X$，輸出自由群$F(X)$的基集，即字母取自$\{x,x^{-1}:x\in X\}$，且無相鄰兩個字母互為逆元的字串的集合。

該單子的單位變換，由包含映射

${\eta }_X:X\to T(X)$

給出，該包含映射將$X$的任意元素，看成僅得一個字元的字串，從而是$T(X)$的元素。最後，單子的乘法

${\mu }_X:T(T(X))\to T(X)$

是串接或「壓平」運算，將若干條字串組成的串，映至該串中所有字串前後連接而成的一條字串。至此描述完單子的兩個自然變換。

前述例子中，自由群可以推廣至其他種類的代數結構，即泛代数意義下的任意一Template:Le代數。如此，每類代數定義了集合範疇上的一個單子。更重要的是，該類代數的範疇，可從單子找回，即單子的艾倫伯格－摩爾代數範疇，故單子可視為泛代數之簇的推廣。

另外，尚有一個單子源自伴隨關係。在向量空間範疇$𝐕𝐞𝐜𝐭$上，若$T$表示將向量空間$V$映至其张量代数$T(V)$的內函子，則相應有單位自然變換將$V$嵌入到其张量代数，並有乘法自然變換，在$V$處的分量是態射$T(T(V))\to T(V)$，將張量積之張量積展開化簡。

餘密度單子

只要滿足某些不強的條件，無左伴隨的函子也可以產生單子，稱為Template:Link-en。例如，從有限集合範疇$𝐅𝐢𝐧𝐒𝐞𝐭$到集合範疇$𝐒𝐞𝐭$的包含函子無法配備左伴隨，但其餘密度單子定義在$𝐒𝐞𝐭$上，將任意集合$X$映至其上所有超滤子的集合$\beta X$。 類似例子見於Template:Harvtxt。

單子的代數

給定範疇$𝒞$上的單子$(T,\eta ,\mu )$，可以考慮$𝒞$中的$𝑻$代數物件。$T$在該些物件上的作用，與單子的單位與乘法相容。具體而言，$𝑻$代數$(x,h)$是$𝒞$中的物件$x$，連同態射$h:Tx\to x$（稱為該代數的結構映射），使得圖

及

皆可交換。

$T$

代數間的態射

$f:(x,h)\to (x^{\prime },h^{\prime })$

是

$𝒞$

中的態射

$f:x\to x^{\prime }$

，且要使

可交換。於是，

$T$

代數及之間的態射組成範疇，稱為艾倫伯格－摩爾範疇（Template:Lang-en），記為

${𝒞}^T$

.

例子

自由群單子上的代數

若$T$為前述自由群單子，則$T$代數是集合$X$，連同由$X$生成的自由群$F(X)$到$X$的映射（求值，Template:Lang），且該映射要滿足結合律與單位元的公理。換言之，$X$本身就具有群結構，而$F(X)$至$X$的映射，是將字串按$X$的群乘法，計算所得的結果

分佈單子上的代數

另一個例子是集合範疇上的分佈單子（Template:Lang-en）$𝒟$，其將集合$X$映至其上所有有限支撐的概率分佈的集合。該等分佈，是函數$f:X\to [0,1]$，僅於有限多個元素$x\in X$處取值非零，而各元素處取值之和為$1$。以符號表示，

$𝒟(X)=\{f:X\to [0,1]:\begin{array}{c}\mathrm{\#}\text{supp}(f)<+\mathrm{\infty },\\ \sum _{x\in X}f(x)=1\end{array}\}.$

可由定義證明，分佈單子上的代數，等同於凸集，即集合要配備二元運算${+}_r$（對每個$r\in [0,1]$），滿足的公理比照歐氏空間中，凸組合$(x,y)\mapsto rx+(1-r)y$具備的性質。

對稱單子上的代數

另一個有用的單子，是交換環$R$的模範疇${𝐌𝐨𝐝}_R$上的對稱代數單子

${\text{Sym}}^{\bullet }(-):{𝐌𝐨𝐝}_R\to {𝐌𝐨𝐝}_R$

將$R$模$M$映到各階Template:Le冪的直和

${\text{Sym}}^{\bullet }(M)=\underset{k=0}{\overset{\mathrm{\infty }}{⨁}}{\text{Sym}}^k(M)$

其中${\text{Sym}}^0(M)=R$。例如，${\text{Sym}}^{\bullet }(R^{\oplus n})\cong R[x_1,\dots ,x_n]$，左右兩邊作為$R$模同構。如此，對稱代數單子上的代數，是交換$R$代數。類似地，也有反對稱張量單子${\text{Alt}}^{\bullet }(-)$與全張量單子$T^{\bullet }(-)$，相應的代數分別是反對稱$R$代數與自由$R$代數，故

$\begin{array}{cc}{\text{Alt}}^{\bullet }(R^{\oplus n})& =R(x_1,\dots ,x_n),\\ {\text{T}}^{\bullet }(R^{\oplus n})& =R⟨x_1,\dots ,x_n⟩,\end{array}$

前者是$R$上添加$n$個生成元的自由反對稱代數，而後者則是$n$個生成元的自由代數。

E_∞環譜中的交換代數

對於Template:Le，亦有類似的構造，Template:Rp對於可交換$𝕊$代數$A$，對應單子上的代數是可交換的$A$代數。若${𝐌𝐨𝐝}_A$表示$A$模的範疇，則可以考慮函子$\mathbb{P}:{𝐌𝐨𝐝}_A\to {𝐌𝐨𝐝}_A$，定義為

$\mathbb{P}(M)=\underset{j\ge 0}{\bigvee }{M}^j/{\mathrm{\Sigma }}_j,$

其中

$M^j=\underset{j}{\underbrace{M{\wedge }_A\cdots {\wedge }_{A}M}}.$

此函子是單子，而由該單子上的代數範疇，可以得到可交換$A$代數的範疇${𝒞}_A$。

單子與伴隨

如前文所述，任何伴隨關係皆產生單子。反之，每個單子$T$皆可由某個伴隨關係產生，即原範疇與$T$代數的艾倫伯格－摩爾範疇之間的自由－遺忘伴隨

$T(-):𝒞\rightleftarrows {𝒞}^T:F.$

其中，左伴隨$T(-)$將$𝒞$的物件$x$映到自由$T$代數$T(x)$，右伴隨$F$則將$T$代數$(x,h)$遺忘掉$h$，變回$x$。然而，通常有多組不同的伴隨關係產生同樣的單子，該些伴隨關係組成範疇$𝐀𝐝𝐣(𝒞,T)$：物件是伴隨關係$(F,G,\eta ,\epsilon )$使得$(GF,\eta ,G\epsilon F)=(T,\eta ,\mu )$，而態射是在$𝒞$一側為恆等函子的伴隨關係態射。如此，艾倫伯格－摩爾範疇的自由－遺忘伴隨${𝒞}^T$是$𝐀𝐝𝐣(𝒞,T)$的終物件，而始物件是Template:Link-en${𝒞}_T$，定義為${𝒞}^T$中的自由$T$代數組成的完全子範疇，即僅包含形如$T(x)$的$T$代數，其中$x$歷遍$𝒞$的物件。

單子伴隨

設有伴隨關係$(F:𝒞\to 𝒟,G:𝒟\to 𝒞,\eta ,\epsilon )$，對應單子為$T$，則函子$G$可分解為

$𝒟\stackrel{\tilde{G}}{\to }{𝒞}^T\stackrel{F}{\to }𝒞,$

其中$F$是遺忘函子。換言之，對$𝒟$中任意物件$Y$，都能賦予$G(Y)$自然的$T$代數結構。若分解式中，首個函子$\tilde{G}$給出$𝒟$與$C^T$兩範疇間的等價，則形容該伴隨關係為單子的（Template:Lang-en）。後亦引申用作形容函子，若函子$G:𝒟\to 𝒞$有左伴隨$F$，且該伴隨關係為單子的，則$G$亦稱為單子的。例如，群範疇與集合範疇間的自由－遺忘伴隨是單子的，因為相應單子$T$上的$T$代數是群（見前文）。一般而言，若有伴隨關係$(F:𝒞\to 𝒟,G:𝒟\to 𝒞,\eta ,\epsilon )$為單子的，則單從$𝒞$的物件及其上的$T$作用，已足以重組出$𝒟$的物件。

貝克單子性定理

Template:Main 貝克單子性定理給出伴隨關係在何種充要條件下為單子的。定理有以下簡化版：

若滿足以下三項條件：

• $G$為Template:Link-en，換言之，$G$反映同構（Template:Lang-en），即對$𝒟$中每一支態射，其為同構當且僅當在$G$作用下的像為$𝒞$中的同構；
• $𝒞$有Template:Link-en；
• $G$保Template:Link-en；

則$G$為單子的。

例如，由緊豪斯多夫空间範疇$𝐂𝐇𝐚𝐮𝐬$到集合範疇$𝐒𝐞𝐭$的遺忘函子是單子的。然而，由任意拓撲空間範疇$𝐓𝐨𝐩$到集合範疇$𝐒𝐞𝐭$的遺忘函子則並非單子的，而定理中，保守函子的條件不成立，因為有非緊或非豪斯多夫空間，之間存在連續雙射，但不為同胚。 貝克定理有對偶版本，刻劃餘單子伴隨關係，對拓撲斯論及有關Template:Le的代数几何課題有用。

餘單子的伴隨關係，首先有下列例子：

$-{\otimes }_{A}B:{𝐌𝐨𝐝}_A\rightleftarrows {𝐌𝐨𝐝}_B:F,$

其中$A,B$皆為交換環，左伴隨用到的張量積${\otimes }_A$的定義中，選定了環同態$A\to B$，而右伴隨$F$是遺忘函子。根據貝克定理，當且僅當$B$為忠實平坦$A$模時，該伴隨為餘單子的。所以，可將配備下降數據（Template:Lang-en，即源自伴隨關係的餘單子的作用）的$B$模，降成$A$模。所得的Template:Link-en理論，廣泛應用於代數幾何。

用途

函数式编程中，會使用單子表達某類（有時有副作用的）順序式計算，見单子 (函数式编程)。

範疇論邏輯中，藉闭包算子、內代數，以及兩者與S4模態邏輯、直觉主义逻辑的關係，能以單子餘單子理論類比模态逻辑。

推廣

亦可定義2-範疇$𝒞$中的單子。

參見

• Template:Link-en
• Template:Link-en
• Template:鏈解
• Template:Link-en
• Template:Link-en

參考文獻

• Template:Cite web
• Template:Cite journal
• Template:Cite journal
• Template:Cite book
• Template:Cite book
• Template:Cite book
• Template:Cite web

Template:範疇論