• Interaction With Internal Homs of Powersets. We have a natural transformation

    with components

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

    indexed by $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: