details
Author(s)
Dirk Hofmann; Maria Manuel Clementino;
Title Exponentiation in Vcategories
Abstract For a Heyting algebra V which, as a category, is monoidal closed, we obtain characterizations of exponentiable objects and morphisms in the category of Vcategories and apply them to some wellknown examples. In the case V=[0,infty] these characterizations of exponentiable morphisms and objects in the categories (P)Met of (pre)metric spaces and nonexpansive 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.
Journal Topology and its Applications
Volume 153
Year 2006
Issue 16
Page(s) 31133128
