Abstract
We show that for any quantale Q, a Q-category is skeletal and complete if and only if it is injective with respect to fully faithful Q-functors. This is a special case of known theorems due to Hofmann and Stubbe, but we provide a different proof, using the characterisation of the MacNeille completion of a Q-category as its injective envelope. For Lawvere metric spaces, our results yield those of Kemajou, Künzi and Otafudu. We point out that their notion of Isbell convexity can be seen as a geometric formulation of categorical completeness for Lawvere metric spaces.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have