"least"和"greatest"在谈到定点时指的是什么顺序？
What order do "least" and "greatest" refer to when talking about fixed point?
在 Haskell 中有关不动点的文本中经常提到最小和最大不动点。例如。在 Data.Functor.Fixedpoint documentation or here。
最小和最大暗示了对所涉及类型的顺序（或者仅在不动点上定义它就足够了吗？）无论如何，我从未见过将此顺序明确化。
Haskell中一个不动点大于另一个不动点的正式含义是什么？
一个函子的最小不动点F是F的初代数，即属于F-由函子定义的代数。如果存在从 c 到 d 的态射，我们可以在 c <= d 的代数上定义预序。根据初始对象的定义，存在从初始代数到所有其他代数的态射。这使得初始代数成为定义顺序的 "least" 元素，从某种意义上说，初始代数 "precedes" 对象比任何其他对象都多，而不是初始对象之前没有任何东西。
同样，F的最大不动点是F的终余代数。类似的论点使它成为 F-coalgebras.
类别中由态射引起的排序中的最大元素
在 Haskell 中有关不动点的文本中经常提到最小和最大不动点。例如。在 Data.Functor.Fixedpoint documentation or here。
最小和最大暗示了对所涉及类型的顺序（或者仅在不动点上定义它就足够了吗？）无论如何，我从未见过将此顺序明确化。
Haskell中一个不动点大于另一个不动点的正式含义是什么？
一个函子的最小不动点F是F的初代数，即属于F-由函子定义的代数。如果存在从 c 到 d 的态射，我们可以在 c <= d 的代数上定义预序。根据初始对象的定义，存在从初始代数到所有其他代数的态射。这使得初始代数成为定义顺序的 "least" 元素，从某种意义上说，初始代数 "precedes" 对象比任何其他对象都多，而不是初始对象之前没有任何东西。
同样，F的最大不动点是F的终余代数。类似的论点使它成为 F-coalgebras.
类别中由态射引起的排序中的最大元素