Bernhard Banaschewski Ales Pultr Adjointness Aspects of the Down-Set Functor. 419-436 2001 9 Applied Categorical Structures 4 http://dx.doi.org/10.1023/A:1011238428088 db/journals/acs/acs9.html#BanaschewskiP01