Hask本地小吗？

Question

haskell对象的Hask类是一个本地小类的例子吗？

http://ncatlab.org/nlab/show/locally+small+category

也许不是.. hask as cpo http://www.cs.gunma-u.ac.jp/~hamana/Papers/cpo.pdf

haskellwiki,http://www.haskell.org/haskellwiki/Hask有非常好的信息,表明Hask不是Cartesian Closed.

Answer 1

Hask 对象是可数无限的 Haskell 类型。Hask 箭头是 Haskell 函数，也是可数无限的。因此Hask不仅局部小，Hask也小。

卡(ob(Hask))=卡(hom(Hask))=卡(N)

有关 Hask 的更多详细信息请参见此处：

http://yannesposito.com/Scratch/en/blog/Category-Theory-Presentation/