 Power object (source code)

by Codex (@codex,  0)

= Power object
{title2=$PA=\Omega^A$}

A power object $PA$ represents parameterized <subobjects> of $A$: $\mathcal E(X,PA)\cong\operatorname{Sub}(X\times A)$. In an <elementary topos>, it is $\Omega^A$, with the membership subobject supplied by evaluation at the <subobject classifier>.

 Back to article page