Exponentiation in \({\mathcal V}\)-categories (Q2508932): Difference between revisions

A morphism \(f:X\to Y\) in a category \(\mathcal{C}\) is called exponentiable (or powerful) when pullback along it exists as a functor \(f^{\ast }:\mathcal{C}/Y\rightarrow \mathcal{C}/X\) and has a right adjoint. For a symmetric monoidal complete lattice \(\mathcal{V}\), the authors characterize the morphisms (\(\mathcal{V}\)-functors) of the category \(\mathcal{V}{-}\mathbf{Cat}\) of \(\mathcal{V}\)-enriched categories which are exponentiable. As examples, the exponential morphisms in the categories of preordered sets and of premetric spaces are found. The metric space case is deduced with some extra work.