如果你是第一次聽說範疇論(category theory)，看到這高大上的名字估計心裡就會一咯噔，到底數學威力巨大，光是高等數學就能讓很多人噩夢連連。和搞程式設計的一樣，數學家喜歡將問題不斷加以抽象從而將本質問題抽取出來加以論證解決，範疇論就是這樣一門以抽象的方法來處理數學概念的學科，主要用於研究一些數學結構之間的關係及聯絡。
在範疇論裡，乙個範疇(category)指的是這樣乙個好東西，它由三部分組成：
一系列的物件(object).
一系列的態射(morphism).
乙個組合(composition)操作符，用點(.)表示，用於將態射進行組合。
乙個物件可以看成是一類東西，數學上的群，環，甚至簡單的有理數，無理數等都可以歸為乙個物件，對應到程式語言裡，可以理解為乙個型別，比如說整型，布林型，型別事實上可以看成是值的集合，例如整型就是由 0，1，2...等組成的，因此範疇論裡的物件簡單理解就可以看成是值(value)的集合。
乙個態射指的是一種對映關係，簡單理解，態射的作用就是把乙個物件 a 裡的值 va 對映為 另乙個物件 b 裡的值 vb，這和代數裡的對映概念是很相近的，因此也有單射，滿射等區分。態射的存在反映了物件內部的結構，這是範疇論用來研究物件的主要手法：物件內部的結構特性是通過與別的物件的關係反映出來的，動靜是相對的，範疇論通過研究關係來達到探知物件的內部結構的目的。
組合操作符的作用是將兩個態射進行組合，例如，假設存在態射 f: a -> b, g: b -> c， 則 g.f : a -> c.
看！好像沒有想象中的複雜！乙個結構要想成為乙個範疇, 除了必須包含上述三樣東西，它還要滿足以下三個限制:
態射要滿足結合律，即 f.(g.h) = (f.g).h。
態射在這個結構必須是封閉的，也就是，如果存在態射 f, g，則必然存在 h = f.g。
對結構中的每乙個物件 a, 必須存在乙個單位態射 ia: a -> a， 對於單位態射，顯然，對任意其它態射 f, f.i = f。
講完了！範疇論就這麼點東西！-- 當然是不可能的，但暫時來說，知道這些就已經很足夠了。
在 haskell 中存在著這樣乙個唯一的範疇，名字稱為 hask, 這個 hask 滿足前面關於範疇的全部約定，因此是範疇論裡乙個純正的「範疇":
物件就是 haskell 裡的所有型別，記得型別是乙個集合。
態射就是程式語言裡的一般函式(function)，如:func :: int -> bool，將物件 int 對映為 物件 bool。
態射的組合就是函式的組合，在 haskell 裡，函式也是通過點號(.)進行組合的。
另外三個約束條件很容易證明也是滿足，因此整個 haskell 從數學的角度上看它就是乙個範疇，這個角度的理解是很深刻的，這樣一來傳統意義上諸如語法，型別，函式等語言特性其實都只是這個內在本質的外在表現而已。
前面對範疇的介紹反映了範疇內部各個物件之間的聯絡與相互作用，在範疇論裡另外研究的重點是範疇與範疇之間的關係，就正如物件與物件之間有態射一樣，範疇與範疇之間也存在某些對映，從而可以將乙個範疇對映為另乙個範疇，這種對映在範疇論中叫作函子(functor），具體來說，對於給定的兩個範疇 a 和 b, 函子的作用有兩個:
將範疇 a 中的物件對映到範疇 b 中的物件。
將範疇 a 中的態射對映到範疇 b 中的態射。
顯然，函子反映了不同的範疇之間的內在聯絡，函子的定義是十分鬆散的，而不同範疇之間的關係有強有弱，乙個隨便定義的函子很多時候並不能太深刻反映範疇之間結構上的聯絡，因此數學上，對函子通常有幾個限制，先假設 f 是範疇 a 與範疇 b 上乙個函子，則：
對範疇 a 上的單位態射ia, f 必須將其對映為範疇 b 上的單位態射 ib, f(ia) = ib.
函子對態射的組合必須滿足分配徤，即，假設 f, g 是範疇 a 上的態射，則 f(f.h) = f(f).f(g)。
顯然這兩個限制是很強的，如果兩個範疇之間存在這樣乙個函子，則反映了他們之間在結構上有著很強的相似性，從看似風牛馬不相及的東西裡找出他們內在的相似性，數學家最愛乾的事情了。
和態射一樣函子也可以是自對映的，即函子允許將範疇對映到其自身，這樣做有什麼好處呢？不同範疇之間的對映反映了範疇間的相似性，範疇到範疇自身的對映則顯然是反映了範疇內部的自相似性 --- 到底認識自己也不是一件容易的事啊。。。自相似性是大自然裡美妙的存在，想想六角形的雪花，想想分形... 在範疇論裡，這種將範疇對映到自身的函子被稱為自函子(endofunctor).
知道為什麼要講自函子了嗎，haskell 中只有乙個範疇! 那麼這個唯一的範疇 hask 中，存不存在自函子呢？有的！終於講到重點了，為什麼 haskell 有這麼些奇怪的概念？ haskell 的老鳥會告訴你，這些奇怪的東西都是寶貝，它們都是有本而來的。
那麼 haskell 中的自函子是怎麼體現出來的呢？ 根據前面的定義，乙個函子其實就是乙個對映，它把物件對映為物件，把態射對映為態射，我們知道在 haskell 中物件就是乙個型別，如整型，布林型等，將乙個型別對映為另乙個型別，沒錯，就是 type constructor 在幹的事情，c++ 的程式設計師可以用模板類來想象一下，如，vector其實就是將int對映為vector， 這是兩種不同的型別了，例項化模板的過程實際上就是把乙個型別變成另乙個型別的過程。
注意不要把物件的對映與物件內部的態射混淆了，態射是將物件內部的值進行對映，而物件的對映(函子)是把物件這個整體對映為另乙個物件，函子根本不關心乙個物件內部會有什麼值。
型別到型別的對映事實上並不是普遍存在的，自函子反映的是範疇內部的結構關係，這些關係並不是因為函子的存在而存在，函子只是揭示了這些內在的關係。具體在 haskell 中，型別間的關係並不是普遍存在的，比如說， int -> bool 就沒有直接對應的對映關係，而存在對映關係的型別，它們都有一些共同的特點，比如可以看成是簡單型別與複雜型別之間的相互轉換。
type constructor 就是自函子的一部分！
好了，現在型別到型別的對映在 haskell 中找到了，那態射到態射之間的對映呢？必竟這也是函子的必要組成部分。
在 haskell 中，態射就是一般的函式，把乙個函式對映為另乙個函式，聽起來不就是高階函式在幹的事情嘛。具體來說，對映函式這件事可以認為來自 functor 這個 typeclass，連名字都一模一樣，目的昭然若揭。haskell 中的 functor 是乙個 typeclass，它的定義如下：
(a -> b)對映為態射(f a -> f b)的，它把範疇裡的態射對映到另乙個態射，且遵守了函子在對映態射時所需要遵守的兩個原則。
講到這裡，我們一步一步不知不覺就已經向著 monad 靠近了，好激動，先打住了，回頭再整理整理。
【參考】
範疇 函子與態射
範疇就是使用箭頭連線的物體。箭頭表示範疇成員之間的關係，正式的名稱叫做 態射 morphism 範疇論認為，同乙個範疇的所有成員，就是不同狀態的 變形 transformation 通過 態射 乙個成員可以變形成另乙個成員。1.2數學模型 既然 範疇 是滿足某種變形關係的所有物件，就可以總結出它的數...
scala與函式式程式設計 從範疇論看函式式程式設計
那麼，當我們的 與範疇又有什麼關係呢？在談論程式設計時，我們所在的又是什麼範疇呢？public class company public class employee public static employee getsupervisor employee e1 public static com...
sync fsync與fdatasync函式詳解
在研究mysql配置檔案中sync binlog n引數之中，發現該引數的含義是在n個sql之後，呼叫了fdatasync 函式重新整理binlog到磁碟，所以就好好研究了下sync fsync和fdatasync這三個函式，也記錄下來分享一波。名詞解釋 髒頁 當程序修改了快取中的資料時，該頁就被標...