Definition. Exponentiable morphism [mde-RMSG]

A morphism \(f : X \to Y\) of a category \(\mathbb {C}\) is exponentiable or powerful just when it is an exponent / exponentiable object in the slice category \(\mathbb {C} / Y\).