Azimuth Forum
Visit Site
That helps but you're still stuck with the "obvious" adjunction **Cat** \\(\rightleftharpoons\\) **Preorder** being the "wrong way round".
Version 2.1.8p2