文件名称:关于度量空间的formal balls构成的偏序集 (2010年)
文件大小:175KB
文件格式:PDF
更新时间:2024-06-11 23:13:03
自然科学 论文
formal ball构成的偏序集为度量空间理论和domain理论提供了联系.作者考察了n-范畴的tensor完备化,证明了当度量空间被视为Ω-范畴时,其formal ball构成的偏序集正好是它的tensor完备化.
文件名称:关于度量空间的formal balls构成的偏序集 (2010年)
文件大小:175KB
文件格式:PDF
更新时间:2024-06-11 23:13:03
自然科学 论文
formal ball构成的偏序集为度量空间理论和domain理论提供了联系.作者考察了n-范畴的tensor完备化,证明了当度量空间被视为Ω-范畴时,其formal ball构成的偏序集正好是它的tensor完备化.