haskell - 在谈论固定点时,“最小”和“最大”指的是什么顺序?
问题描述
在 Haskell 中关于不动点的文本中,经常提到最小和最大不动点。例如在Data.Functor.Fixedpoint文档或这里。
最小和最大暗示所涉及类型的顺序(或者仅在固定点上定义它就足够了吗?)无论如何,我从来没有看到这个顺序被明确表示。
在 Haskell 中,一个固定点大于另一个固定点的正式含义是什么?
解决方案
函子F的最小不动点是F的初始代数,即函子定义的 F -代数范畴中的初始对象。我们可以在代数上定义一个预序,如果从到存在态射。根据初始对象的定义,从初始代数到其他所有代数都有一个态射。这使得初始代数成为定义排序的“最小”元素,在某种意义上,初始代数“先于”比任何其他对象更多的对象,而不是没有任何东西可以先于初始对象。c <= d
c
d
同样, F的最大不动点是F的终端代数。一个类似的论点使它成为由F -余代数范畴中的态射诱导的排序中的最大元素。
推荐阅读
- ms-word - 合并字段编号格式
- android - Android 库在发布时设置本地依赖项的版本
- excel - 分隔包含空白单元格的整行或选定列
- python - 如何将我的 python 代码实现到 tkinter gui 代码中,因为由于多个 while 循环运行,没有任何东西可以停止程序
- view - 在 Drupal 的视图模板中获取节点 ID
- visual-studio - Visual Studio,如何在调试模式下显示变量数组
- mysql - 如何查找结束日期为空的员工可用性重叠
- rabbitmq - 一旦连接失败,Spring消费者不会重新连接到rabbit mq队列
- android - 您可以将 com.google.crypto.tink 配置为使用 androidx.datastore 而不是 Shared Prefs
- css - iOS 输入 [type="search"] 刷新后不起作用