Type: Article
Publication Date: 1995-01-01
Citations: 0
DOI: https://doi.org/10.2307/2974855
For a Heyting algebra V which, as a category, is monoidal closed, we obtain characterizations of exponentiable objects and morphisms in the category of V-categories and apply them to some well-known examples.In the case V = R + these characterizations of exponentiable morphisms and objects in the categories (P)Met of (pre)metric spaces and non-expansive maps show in particular that exponentiable metric spaces are exactly the almost convex metric spaces, while exponentiable complete metric spaces are the complete totally convex ones.
Action | Title | Year | Authors |
---|