Prefer a chat interface with context about you and your work?
Exponentiation in Rings
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 …