-
Units and counits of the form
\[ \begin{aligned} \text{id}_{\mathcal{P}\webleft (X\webright )} & \hookrightarrow f^{-1}\circ f_{*},\\ f_{*}\circ f^{-1} & \hookrightarrow \text{id}_{\mathcal{P}\webleft (Y\webright )},\\ \end{aligned} \qquad \begin{aligned} \text{id}_{\mathcal{P}\webleft (Y\webright )} & \hookrightarrow f_{!}\circ f^{-1},\\ f^{-1}\circ f_{!} & \hookrightarrow \text{id}_{\mathcal{P}\webleft (X\webright )}, \end{aligned} \]
having components of the form
\[ \begin{gathered} U \subset f^{-1}\webleft (f_{*}\webleft (U\webright )\webright ),\\ f_{*}\webleft (f^{-1}\webleft (V\webright )\webright ) \subset V, \end{gathered} \qquad \begin{gathered} V \subset f_{!}\webleft (f^{-1}\webleft (V\webright )\webright ),\\ f^{-1}\webleft (f_{!}\webleft (U\webright )\webright ) \subset U \end{gathered} \]
indexed by $U\in \mathcal{P}\webleft (X\webright )$ and $V\in \mathcal{P}\webleft (Y\webright )$.
-
Bijections of sets
\begin{align*} \textup{Hom}_{\mathcal{P}\webleft (Y\webright )}\webleft (f_{*}\webleft (U\webright ),V\webright ) & \cong \textup{Hom}_{\mathcal{P}\webleft (X\webright )}\webleft (U,f^{-1}\webleft (V\webright )\webright ),\\ \textup{Hom}_{\mathcal{P}\webleft (X\webright )}\webleft (f^{-1}\webleft (U\webright ),V\webright ) & \cong \textup{Hom}_{\mathcal{P}\webleft (X\webright )}\webleft (U,f_{!}\webleft (V\webright )\webright ), \end{align*}
natural in $U\in \mathcal{P}\webleft (X\webright )$ and $V\in \mathcal{P}\webleft (Y\webright )$ and (respectively) $V\in \mathcal{P}\webleft (X\webright )$ and $U\in \mathcal{P}\webleft (Y\webright )$. In particular:
-
The following conditions are equivalent:
-
We have $f_{*}\webleft (U\webright )\subset V$.
-
We have $U\subset f^{-1}\webleft (V\webright )$.
-
The following conditions are equivalent:
-
We have $f^{-1}\webleft (U\webright )\subset V$.
-
We have $U\subset f_{!}\webleft (V\webright )$.