§ Left and right adjoints to inverse image [TODO ]

§ The story in set

-   @  @
-   -  @
-   -  @
|   |  |
v   v  v
b1 b2 b3

§ The story in general

§ The story in slice categories