拓扑系统范畴完备性与Tychonoff乘积定理

摘要

拓扑系统是目前最广泛的拓扑学研究对象，它以点集拓扑空间、Locale的空间化、模糊拓扑空间与拓扑分子格为特例，用它可研究计算机程序设计语言指称语义的Domain理论．本文旨在建立拓扑系统范畴的乘积结构与等子结构，表明拓扑系统范畴是完备范畴．讨论拓扑系统的紧性，得到了拓扑系统关于紧性的Tychonoff乘积定理．