Yoneda嵌入相关论文
本文从范畴论角度研究了多值格的基本性质及其表示． 设Ω=(Ω，*，I)为一个交换的有单位元的quantale．从范畴论的角度看，Ω是一个对称......
formalball构成的偏序集为度量空间理论和domain理论提供了联系．作者考察了Ω-范畴的tensor完备化，证明了当度量空间被视为Ω-范畴时......
