Definition. Exponentiable morphism [mde-RMSG]
Definition. Exponentiable morphism [mde-RMSG]
A morphism \(f : X \to Y\) of a category \(\mathbb {C}\) is exponentiable or powerful if it is an [exponent] in the slice over \(Y\), \(\mathbb {C}\).
A morphism \(f : X \to Y\) of a category \(\mathbb {C}\) is exponentiable or powerful if it is an [exponent] in the slice over \(Y\), \(\mathbb {C}\).