c-空间范畴的一个Cartesian闭满子范畴

摘要

通过逼近的方式刻画c-空间,通过序与拓扑相结合的方式定义一类特殊的c-空间,称之为并半格c-空间,该结构是domain理论中连续格这一重要概念的推广.特别地,证明由所有并半格c-空间及连续映射构成的范畴是c-空间范畴的Cartesian闭满子范畴.

关键词

c-空间 / 并半格c-空间 / Cartesian闭范畴