Joins in the Frame of Nuclei
نویسنده
چکیده
Joins in the frame of nuclei are hard to describe explicitly because a pointwise join of a set of closure operators on a complete lattice fails to be idempotent in general. We calculate joins of nuclei as least fixed points of inflationary operators on prenuclei. Using a recent fixed-point theorem due to Pataraia, we deduce an induction principle for joins of nuclei. As an illustration of the technique, we offer a simple (and also intuitionistic) proof of the localic Hofmann–Mislove Theorem.
منابع مشابه
Uniformities and covering properties for partial frames (II)
This paper is a continuation of [Uniformities and covering properties for partial frames (I)], in which we make use of the notion of a partial frame, which is a meet-semilattice in which certain designated subsets are required to have joins, and finite meets distribute over these. After presenting there our axiomatization of partial frames, which we call $sels$-frames, we added structure, in th...
متن کاملUniformities and covering properties for partial frames (I)
Partial frames provide a rich context in which to do pointfree structured and unstructured topology. A small collection of axioms of an elementary nature allows one to do much traditional pointfree topology, both on the level of frames or locales, and that of uniform or metric frames. These axioms are sufficiently general to include as examples bounded distributive...
متن کاملFunayama's theorem revisited
Obviously each lattice that satisfies either (JID) or (MID) is distributive. A classic result in lattice theory is Funayama’s theorem [5] stating that there is an embedding e of L into a complete Boolean algebra B that preserves all existing joins and meets in L iff L satisfies both (JID) and (MID). Funayama’s original proof was quite involved. For complete L, Grätzer [6, Sec. II.4] gave a more...
متن کاملTopographic - based Model of the Creative Art through Revolutionary Culture in Iran
If we accept this idea that in talking about art, there is a chasm between thought and unthought debating on art theory in the sociohistorical context of after revolutionary Iran requires at least two items in which understanding and creating art meet one another: 1) Art as door separates intelligible from sensible, rational from irrational, and logos from pathos as well and 2) Art as brid...
متن کاملOn nuclei of sup-$Sigma$-algebras
In this paper, algebraic investigations on sup-$Sigma$-algebras are presented. A representation theorem for sup-$Sigma$-algebras in terms of nuclei and quotients is obtained. Consequently, the relationship between the congruence lattice of a sup-$Sigma$-algebra and the lattice of its nuclei is fully developed.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Applied Categorical Structures
دوره 11 شماره
صفحات -
تاریخ انتشار 2003