强Sober空间与一个范畴等价定理

摘要

本文引入了强 sober 空间与强 sober 格概念,讨论了它们的基本性质,并证明了强 sober 空间范畴与强 sober 格范畴是等价的。