范畴论

范畴论是抽象地处理数学结构以及结构之间联系的一门数学理论。近年来因为 Haskell 中实现了范畴论中的一些概念,从此范畴论虐待的对象就不止是学数学的人了。[ 百科 ]

推广链接