Power Object

Definition

Let $\mathcal{C}$ be a category with a subobject classifier $\Omega$.
The power object $\mathcal{P}X$ of $X$ is the representation of the subobject $\mathrm{Sub}(X\times -)$

In a topos, the power-object of on object $X$ is the exponential ${\Omega }^X$.