论文标题
注入式对称量化类别
Injective symmetric quantaloid-enriched categories
论文作者
论文摘要
我们表征了富含小型，积分和参与量子的对称类别类别中的注射对象，外观壳和必需嵌入。特别是，精确制定了注入性的部分度量空间。
We characterize injective objects, injective hulls and essential embeddings in the category of symmetric categories enriched in a small, integral and involutive quantaloid. In particular, injective partial metric spaces are precisely formulated.
