Injective symmetric quantaloid-enriched categories
Category Theory
2023-12-13 v2
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.
Cite
@article{arxiv.2201.10754,
title = {Injective symmetric quantaloid-enriched categories},
author = {Lili Shen and Hang Yang},
journal= {arXiv preprint arXiv:2201.10754},
year = {2023}
}
Comments
27 pages, final version