相关疑难解决方法(0)

所以我们有Hask类别,其中:

• 类型是类别的对象
• 函数是类别中从一个对象到另一个对象的态射.

同样Functor我们有:

• 一个Type构造函数,用于将对象从一个类别映射到另一个类别
• fmap 用于将态射从一个类别映射到另一个类别.

现在,当我们编写程序时,我们基本上会转换值(而不是类型),似乎Hask的类别根本不讨论值.我试图在整个等式中拟合值,并得出以下观察结果:

• 每个类型本身就是一个类别.例如:Int是所有整数的类别.
• 从值到相同类型的另一个值的函数是类别的态射.例如:Int -> Int
• 从一个值到另一个不同类型的值的函数是用于将一种类型的值映射到另一种类型的函数.

现在我的问题是 - 在Hask类别(或一般类别理论)中,值是否有意义？如果是,那么任何关于它的参考或如果没有,那么任何原因.

我希望这个问题有道理:)