加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本