ORDER EXTENSIONS AS ADJOINT FUNCTORS
作者:
Marcel Erné,
期刊:
Quaestiones Mathematicae
(Taylor Available online 1986)
卷期:
Volume 9,
issue 1-4
页码: 149-206
ISSN:1607-3606
年代: 1986
DOI:10.1080/16073606.1986.9632112
出版商: Taylor & Francis Group
关键词: 06A10/15;18 A 40;Poset;extension;completion;Z -continuous map;Z -embedding;subset system;adjunction;duality
数据来源: Taylor
摘要:
Astandard extension(resp.standard completion) is a function Z assigning to each poset P a (closure) system ZP of subsets such that x ⋚ y iff x belongs to every Z ε ZP with y ε Z. A poset P is Z -completeif each Z ε 2P has a join in P. A map f: P → P′ is Z—continuousif f−1[Z′] ε ZP for all Z′ ε ZP′, and a Z—morphismif, in addition, for all Z ε ZP there is a least Z′ ε ZP′ with f[Z] ⊆ Z′. The standard extension Z iscompositiveif every map f: P → P′ with {x ε P: f(x) ⋚ y′} ε ZP for all y′ ε P′ is Z -continuous. We show that any compositive standard extension Z is the object part of a reflector from IPZ, the category of posets and Z -morphisms, to IRZ, the category of Z -complete posets and residuated maps. In case of a standard completion Z, every Z -continuous map is a Z -morphism, and IR2 is simply the category of complete lattices and join—preserving maps. Defining in a suitable way so-calledZ -embeddingsand morphisms between them, we obtain for arbitrary standard extensions Z an adjunction between IPZand the category of Z -embeddings. Many related adjunctions, equivalences and dualities are studied and compared with each other. Suitable specializations of the function 2 provide a broad spectrum of old and new applications.
点击下载:
PDF (1683KB)
返 回