Injective symmetric quantaloid-enriched categories
Lili Shen, Hang Yang
TL;DR
This paper characterizes injective objects and hulls in symmetric categories enriched over a quantaloid, providing a precise formulation for injective partial metric spaces within this framework.
Contribution
It introduces a novel characterization of injective objects and hulls in symmetric quantaloid-enriched categories, including a specific formulation for injective partial metric spaces.
Findings
Injective objects are characterized in symmetric quantaloid-enriched categories.
Injective hulls and essential embeddings are described within this framework.
Injective partial metric spaces are precisely formulated.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAlgebraic structures and combinatorial models · Homotopy and Cohomology in Algebraic Topology · Advanced Topics in Algebra