A uniform approach to inductive posets and inductive closure. (English) Zbl 0372.06002

Math. Found. Comput. Sci., Proc. 6th Symp., Tatranska Lomnica 1977, Lect. Notes Comput. Sci. 53, 192-212 (1977).


06A06 Partial orders, general
18A40 Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.)
06A15 Galois correspondences, closure operators (in relation to ordered sets)