Proper maps, quasi-adjoints and the Smyth hyperspace

This month, I would like to talk about proper maps, a nifty equivalent characterization through something I call quasi-adjoints and which involves the Smyth hyperspace monad, with a few non-trivial applications. Read the full post.