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.
Keywords: quantaloid, enriched category, symmetry, injective object, injective hull, essential embedding, Ω-set, partial metric space
2020 MSC: 18D20, 18A20, 18F75
Theory and Applications of Categories, Vol. 39, 2023, No. 35, pp 1050-1076.
Published 2023-12-12.
TAC Home