haskell 对象的类别 Hask 是局部小类别的示例吗?
http://ncatlab.org/nlab/show/locally+small+category http://ncatlab.org/nlab/show/locally+small+category
也许不是..作为 cpo 的 haskhttp://www.cs.gunma-u.ac.jp/~hamana/Papers/cpo.pdf http://www.cs.gunma-u.ac.jp/~hamana/Papers/cpo.pdf
哈斯克尔维基,http://www.haskell.org/haskellwiki/Hask http://www.haskell.org/haskellwiki/Hask有很好的信息,表明Hask不是笛卡尔闭集。
什么是哈斯克?如果它包含所有 haskell 可定义的“函数”作为同构,那么绝对不是
data Big = Big (Big -> Big)
的“hom集”Big -> Big
包含整个无类型 lambda 演算!我怀疑即使你只允许终止函数,它也局部很小——我认为 system-f 没有固定的理论模型。
编辑:七年后,我无法理解我在这里想说的话。从将函数类型解释为完整函数集的模型的意义上来说,Hask 没有集合理论模型。确实如此,但我不知道这与这个问题有什么关系。目前还不清楚“Hask”是什么,但在我看来,任何合理的答案都会有小的 homsets(也就是说,它is局部较小)。
多年来我的奇怪回答让我有点尴尬。我确信我的意思是非常有洞察力的——我只是不知道那是什么,正如措辞所示相当错误.
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)