Ordered Sets via Adjunctions

[1]  Robert Rosebrugh,et al.  A basic distributive law , 2002 .

[2]  R. J. Wood,et al.  Constructive complete distributivity. I , 1990, Mathematical Proceedings of the Cambridge Philosophical Society.

[3]  Robert Rosebrugh,et al.  Constructive Complete Distributivity III , 1992, Canadian Mathematical Bulletin.

[4]  F. W. Lawvere,et al.  Sets for Mathematics , 2003 .

[5]  Ross Street,et al.  Yoneda structures on 2-categories , 1978 .

[6]  Stefano Kasangian,et al.  Bicategories of spans and relations , 1984 .