Constructive complete distributivity IV

An extension of the Galois theory of Grothendieck

André Joyal, Myles Tierney · Memoirs of the American Mathematical Society · 1984 · 524 citations

Algebraic Theory, Galois Theory, Universal Algebra +1

A subdirect-union representation for completely distributive complete lattices

George N. Raney · Proceedings of the American Mathematical Society · 1953 · 163 citations

Lie Group, Lattice (Order), Representation Theory +8

Yoneda structures on 2-categories

Ross Street, R. F. C. Walters · Journal of Algebra · 1978 · 150 citations

Higher Category Theory, Categorical Model, Categorical Logic +1

Information systems for continuous posets

Steven Vickers · Theoretical Computer Science · 1993 · 70 citations

Reachability Analysis, Intelligent Information Processing, Engineering +8

Order ideals in categories

A. Carboni, Ross Street · Pacific Journal of Mathematics · 1986 · 68 citations · Full text

Order Theory, Categorical Model, Categorical Logic +1