Injective symmetric quantaloid-enriched categories

Lili Shen and Hang Yang

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