AI 中文总结
该研究将显式离散、紧豪斯多夫的拟波兰空间范畴构造为有效拟波兰空间与可计算映射范畴的内部范畴，且证明斯通对偶性可计算，为相关拓扑范畴的可计算性研究提供了基础。
AI 中文摘要
我们构造显式离散拟波兰空间的范畴与紧豪斯多夫拟波兰空间的范畴（及其若干子范畴），将其作为有效拟波兰空间范畴与可计算映射范畴的内部范畴。为证明构造的自然性，我们表明斯通对偶性是可计算的，即其对偶反变函子及证明其伴随性的自然变换均为可计算的。
英文摘要
We construct the category of overt discrete quasi-Polish spaces and the category of compact Hausdorff quasi-Polish spaces (and some of their subcategories) as internal categories of the category of effective quasi-Polish spaces and computable maps. To demonstrate that the constructions are natural, we show that Stone duality is computable, in the sense that the dual contravariant functors and the natural transformations demonstrating their adjointness are computable.
