Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
431075 | The Journal of Logic and Algebraic Programming | 2008 | 11 Pages |
Abstract
We order the ordering relation of an arbitrary poset P component-wise by itself, obtaining a poset Φ(P) extending P. In particular, the effects of Φ on L ∈ DLAT01, the category of all bounded distributive lattices, are studied, mainly with the aid of Priestley duality. We characterize those L ∈ DLAT01 which occur as Φ(K) for some K ∈ DLAT01, decide this situation in polynomial time for finite L, characterize fixpoints of Φ within DLAT01 and relate them to free objects in DLAT01.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics