Current Search: Reid, Frederick (x)
-
-
Title
-
Lattice-Valued T-Filters and Induced Structures.
-
Creator
-
Reid, Frederick, Richardson, Gary, Brennan, Joseph, Han, Deguang, Lang, Sheau-Dong, University of Central Florida
-
Abstract / Description
-
A complete lattice is called a frame provided meets distribute over arbitrary joins. The implication operation in this context plays a central role. Intuitively, it measures the degree to which one element is less than or equal to another. In this setting, a category is defined by equipping each set with a T-convergence structure which is defined in terms of T-filters. This category is shown to be topological, strongly Cartesian closed, and extensional. It is well known that the category of...
Show moreA complete lattice is called a frame provided meets distribute over arbitrary joins. The implication operation in this context plays a central role. Intuitively, it measures the degree to which one element is less than or equal to another. In this setting, a category is defined by equipping each set with a T-convergence structure which is defined in terms of T-filters. This category is shown to be topological, strongly Cartesian closed, and extensional. It is well known that the category of topological spaces and continuous maps is neither Cartesian closed nor extensional.Subcategories of compact and of complete spaces are investigated. It is shown that each T-convergence space has a compactification with the extension property provided the frame is a Boolean algebra. T-Cauchy spaces are defined and sufficient conditions for the existence of a completion are given. T-uniform limit spaces are also defined and their completions are given in terms of the T-Cauchy spaces they induce. Categorical properties of these subcategories are also investigated. Further, for a fixed T-convergence space, under suitable conditions, it is shown that there exists an order preserving bijection between the set of all strict, regular, Hausdorff compactifications and the set of all totally bounded T-Cauchy spaces which induce the fixed space.
Show less
-
Date Issued
-
2019
-
Identifier
-
CFE0007520, ucf:52586
-
Format
-
Document (PDF)
-
PURL
-
http://purl.flvc.org/ucf/fd/CFE0007520
