Haskell语言学习笔记（39）Category

Category

class Category cat where    id :: cat a a    (.) :: cat b c -> cat a b -> cat a cinstance Category (->) where    id = GHC.Base.id    (.) = (GHC.Base..)(<<<) :: Category cat => cat b c -> cat a b -> cat a c(<<<) = (.)(>>>) :: Category cat => cat a b -> cat b c -> cat a cf >>> g = g . f

• Category（范畴）是个类型类，它包含两个函数。
  id函数是Category类型类的幺元。
  (.)函数是Category类型类的组合子。
  id函数和(.)函数形成了一个幺半群（Monoid）。
• 对于(->)函数操作符这个实例来说
  id函数和(.)函数的定义就是GHC.Base模块中的同名函数。
• (<<<)函数与(.)同义。
  (>>>) 函数则相当于 flip (.)。

category theory（范畴论）中的 category（范畴）

在范畴论中，一个范畴包括
* A collection of objects.
一个对象的集合。
* A collection of morphisms.
一个态射的集合。每个态射绑定两个对象：一个输入，一个输出。
若态射 f 绑定了一个输入对象 A 一个输出对象 B，则它可以被记作
f : A -> B.
* A notion of composition of these morphisms.
态射的组合。
态射 g : A -> B 可以和态射 f : B -> C 组合成新的态射 f . g : A -> C。

范畴的法则

• 态射的组合满足结合律。即
  (f . g) . h = f . (g . h)
• 态射的组合是封闭的。即
  态射组合后形成的新态射仍然必须在范畴之内。
• 存在单元态射 id。即
  id . g = g . id = g

Haskell语言中的范畴

Haskell语言中的范畴被称为Hask
* Hask范畴中的对象为类型。
* Hask范畴中的态射为函数。
* Hask范畴中态射的组合子是函数 (.)。
* Hask范畴中的单元态射是函数 id。

范畴论中的 Functor（函子）

Functor是范畴之间的转换器。
给定范畴 C 和 D，函子 F : C -> D 可以将
* 任何 C 中的对象 A 映射成 D 中的对象 F(A)。
* 任何 C 中的态射 f : A -> B 映射成 D 中的态射 F(f) : F(A) -> F(B)。

范畴论中的 Monad（单子）

Monad是一种特殊的Functor。
* Monad M 的映射关系建立在某个范畴 C 自身之上。
即Monad可以被记作 M : C -> C。
* 对于范畴 C 中的任何对象 X，都存在两个特殊映射
unit : X -> M(X)
join : M(M(X)) -> M(X)