Azimuth Forum
Visit Site
I wonder if that's the terminal or initial object in some sort of category of adjunctions.
Version 2.1.8p2