拓扑学中的序代数结构及其在理论计算机科学中的应用

本项目旨在以拓扑空间的内蕴序代数结构为纽带，解决拓扑学与Domain理论及区域连通代数等理论计算机科学领域相交叉带来的的新问题，同时进一步揭示拓扑空间范畴与序结构范畴的内在联系，本项目的研究能拓展这些学科各自的研究范围，进一步揭示它们之 间的联系并促进其发展，因而具有拓扑学及与之相关的理论计算机科学方面的双重决义。