带见证的信息系统：函数空间构造
计算机科学中的逻辑
2021-10-15 v3
摘要
带见证的信息系统已在 [D. Spreen. Generalised information systems capture L-domains. arXiv:1610.02260v2] 中作为 L-域的逻辑风格表示被引入：此类以可逼近映射为态射的信息系统范畴等价于以斯科特连续函数为态射的 L-域范畴，而后者已知是笛卡尔闭的。本文给出了带见证信息系统与可逼近映射范畴的笛卡尔闭包的直接证明。如所示，两个带见证信息系统之间的可逼近映射的集合带有一种自然的信息系统结构。
引用
@article{arxiv.1702.05079,
title = {Information Systems with Witnesses: The Function Space Construction},
author = {Dieter Spreen},
journal= {arXiv preprint arXiv:1702.05079},
year = {2021}
}
备注
40 pages. arXiv admin note: text overlap with arXiv:1610.02260