Injective symmetric quantaloid-enriched categories
arXiv:2201.10754
Abstract
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.
arXiv comment27 pages, final version