范畴论，函数式编程的理论基础。