• Interaction With Internal Homs of Powersets. The diagram

    commutes, i.e. we have an equality of sets

    \[ f_{*}\webleft (\webleft [U,V\webright ]_{X}\webright )=\webleft [f_{!}\webleft (U\webright ),f_{*}\webleft (V\webright )\webright ]_{Y}, \]

    natural in $U,V\in \mathcal{P}\webleft (X\webright )$.


Noticed something off, or have any comments? Feel free to reach out!


You can also use the contact form below: