The two adjunctions of the preimage

Sometimes in mathematics, you are told about very elementary things of which you hadn't even thought. I was well aware of some “duality” between image and preimage, but I just learned from Anatole Dedecker (who learned it from Patrick Massot) about another “duality” between preimage and some other notion. Moreover, it appears that this new notion can be used for making slightly more natural a…