局部确定的 omega-余极限的绝对刻画
范畴论
2015-08-21 v1 计算机科学中的逻辑
摘要
用投影对的嵌入与投影的最小上界来刻画投影对的极限 omega-余锥，对于求解递归域方程具有重要意义。我们将这一局部性质作为局部连续函子的 omega-余连续性，给出了其泛刻画。我们使用充实 Yoneda 嵌入给出了一个直接的证明。该证明可推广至 Cattani 和 Fiore 关于伴随对的局部性概念。
引用
@article{arxiv.1508.05072,
title = {An absolute characterisation of locally determined omega-colimits},
author = {Ohad Kammar},
journal= {arXiv preprint arXiv:1508.05072},
year = {2015}
}
备注
Talk proposal for the Domains XI 2014 Workshop, uploaded for archiving purposes