PERFECT MAPS ARE EXPONENTIABLE - CATEGORICALLY
A categorical proof of the statement given bythe title is provided, in generalization of a result for topological spaces proved recentlybyClementino, Hofmann and Tholen.