搜索结果: 1-1 共查到“数理逻辑与数学基础 duality theorem”相关记录1条 . 查询时间(0.165 秒)
In 1962, H. de Vries proved a duality theorem for the category {\bf HC} of compact Hausdorff spaces and continuous maps. The composition of the morphisms of the dual category obtained by him differs ...