局部确定的ω-极限的绝对特征
An absolute characterisation of locally determined omega-colimits
摘要：
利用投影对的嵌入和投影的上确界来刻画投影对的共限ω-上锥对递归域方程的求解具有重要意义。我们提出了一个普遍的局部性质的ω-cocontinuity局部连续函子。我们提出了一个简单的证明，使用丰富的米田嵌入。证明可以推广到Cattani和菲奥雷的概念的地方伴随对。
英文摘要：
Characterising colimiting omega-cocones of projection pairs in terms of least upper bounds of their embeddings and projections is important to the solution of recursive domain equations. We present a universal characterisation of this local property as omega-cocontinuity of locally continuous functors. We present a straightforward proof using the enriched Yoneda embedding. The proof can be generalised to Cattani and Fiore's notion of locality for adjoint pairs.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
