关于度量空间的formal balls构成的偏序集(英文)

作者：赵红斌

来源：四川大学学报(自然科学版), 2010, (01): 31-34.

• formal ball
• Ω-范畴
• Yoneda嵌入
• tensor
• tensor完备化 formal ball
• Ω-category
• Yoneda embedding
• tensor
• tensor completion

formal ball构成的偏序集为度量空间理论和domain理论提供了联系.作者考察了Ω-范畴的tensor完备化,证明了当度量空间被视为Ω-范畴时,其formal ball构成的偏序集正好是它的tensor完备化.

• 单位
  四川大学