向量空间加矩阵作范畴

在你的图片中有一点可能不太准确:物体是矢量很重要 空间 线性映射 矩阵集

但是如果你真的想使用特定的类别,比如 向量 _k 所有Haskell类型 可以是对象。但是大多数类型不能被合理地看作向量空间,所以你需要一个更细致的范畴概念。这是由 subhask library constrained-categories . 两者都被用来实现向量空间的分类:

http://hackage.haskell.org/package/subhask-0.1.1.0/docs/SubHask-Algebra-Vector.html http://hackage.haskell.org/package/linearmap-category-0.3.4.0/docs/Math-LinearMap-Category.html