Abstract: Using double categories, we prove a general theorem which yields exponentiability results for categories, posets, topological spaces, and locales.