The Ho-Zhao Problem
نویسندگان
چکیده
Given a poset P , the set, Γ(P), of all Scott closed sets ordered by inclusion forms a complete lattice. A subcategory C of Pos d (the category of posets and Scott-continuous maps) is said to be Γ-faithful if for any posets P and Q in C, Γ(P) ∼ = Γ(Q) implies P ∼ = Q. It is known that the category of all continuous dcpos and the category of bounded complete dcpos are Γ-faithful, while Pos d is not. Ho & Zhao (2009) asked whether the category DCPO of dcpos is Γ-faithful. In this paper, we answer this question in the negative by exhibiting a counterexample. To achieve this, we introduce a new subcategory of dcpos which is Γ-faithful. This subcategory subsumes all currently known Γ-faithful subcategories. With this new concept in mind, we construct the desired counterexample which relies heavily on Johnstone's famous dcpo which is not sober in its Scott topology.
منابع مشابه
Random fractional functional differential equations
In this paper, we prove the existence and uniqueness results to the random fractional functional differential equations under assumptions more general than the Lipschitz type condition. Moreover, the distance between exact solution and appropriate solution, and the existence extremal solution of the problem is also considered.
متن کاملHypertrophic osteopathy associated with aortic thrombosis in a dog
Background: Aortic thrombosis (ATh) is an uncommon problem in dogs. Although the pathogenesis of hypertrophic osteopathy (HO) is unknown, it is thought this can be due to blood flow disorder. In this case, removal of aortic thromboembolism (ATE) resulted in periosteal proliferation. Case description: A 4.8-kg, 3-year-old, intact female Maltese was referred with...
متن کاملConstrained Ordinal Optimization - A Feasibility Model Based Approach
Ordinal Optimization (OO) is a useful simulation-based approach for stochastic optimization problems such as the problems in Discrete Event Dynamic Systems (DEDS). However, OO cannot be applied directly for the problem since many infeasible decisions cannot be excluded from ordinal comparison without extensive computation involving the expectation operation. In this paper, a new approach for so...
متن کاملThe protective effect of glycyrrhizin on hepatic ischemia-reperfusion injury in rats and possible related signal pathway
Objective(s): To investigate the protective effect of glycyrrhizin (GL) on hepatic ischemia-reperfusion injury (HIRI).Materials and Methods: Forty SD rats were randomly divided into sham group, HIRI group, GL 100 mg/kg group, and GL 200 mg/kg group. The pathological alterations of liver tissue in each group were observed. The levels of a...
متن کاملThe Expression of Heme Oxygenase-1 in Human-Derived Cancer Cell Lines
Background: Heme oxygenase-1 (HO-1) is a cytoprotective and antiapoptotic enzyme, which has been involved in maintaining cellular homeostasis, and plays an important protective role by modulating oxidative injury. Up-regulation of (HO-1) has contributed to tumorogenicity of some cancers. In this study we investigated the expression pattern of the HO-1, in five different human-derived cancer cel...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Logical Methods in Computer Science
دوره 14 شماره
صفحات -
تاریخ انتشار 2018