• Journal of the Korean Mathematical Society
• /
• v.42 no.2
• /
• pp.291-304
• /
• 2005

We introduce a concept of Cauchy complete Csaszar frames and construct Cauchy completions of Csaszar frames using strict extensions of frames and show that the Cauchy completion gives rise to a coreflection in the categories CsFrm and UCsFrm.

• Communications of the Korean Mathematical Society
• /
• v.13 no.4
• /
• pp.751-757
• /
• 1998

Using idempotents in quasi-lattices, we show that the category Latt of lattices is both reflective and coreflective in the category qLatt of quasi-lattices and homomorphisms. It is also shown that a quasi-ordered set is a quasi-lattice iff its partially ordered reflection is a lattice.

• Communications of the Korean Mathematical Society
• /
• v.23 no.3
• /
• pp.453-459
• /
• 2008

We introduce a concept of continuous homomorphisms between Csaszar frames and show that the Cauchy completion in CsFrm gives rise to a coreflection in the category PCsFrm (resp. UCsFrm) consisting of proximal Csaszar frames and uniform continuous homomor-phisms (resp. uniform Csaszar frames and uniform continuous homomor-phisms).

• The Mathematical Education
• /
• v.16 no.2
• /
• pp.22-26
• /
• 1978

It is shown that a map having an extension to an open map between the Alex-androff base compactifications of its domain and range has a unique such extension. J.S. Wasileski has introduced the Alexandroff base compactifications of Hausdorff spaces endowed with Alexandroff bases. We introduce a definition of morphism between such spaces to obtain a category which we denote by ABC. We prove that the Alexandroff base compactification on objects can be extended to a functor on ABC and that the compact objects give an epireflective subcategory of ABC. For each topological space X there exists a completely regular space $\alpha$X and a surjective continuous function $\alpha$$_{x}$ : Xlongrightarrow$\alpha$X such that for each completely regular space Z and g$\in$C (X, Z) there exists a unique g$\in$C($\alpha$X, 2) with g=g$^{\circ}$$\beta$$_{x}$. Such a pair ($\alpha$$_{x}$, $\alpha$X) is called a completely regularization of X. Let TOP be the category of topological spaces and continuous functions and let CREG be the category of completely regular spaces and continuous functions. The functor $\alpha$ : TOPlongrightarrowCREG is a completely regular reflection functor. For each topological space X there exists a compact Hausdorff space $\beta$X and a dense continuous function $\beta$x : Xlongrightarrow$\beta$X such that for each compact Hausdorff space K and g$\in$C (X, K) there exists a uniqueg$\in$C($\beta$X, K) with g=g$^{\circ}$$\beta$$_{x}$. Such a pair ($\beta$$_{x}$, $\beta$X) is called a Stone-Cech compactification of X. Let COMPT$_2$ be the category of compact Hausdorff spaces and continuous functions. The functor $\beta$ : TOPlongrightarrowCOMPT$_2$ is a compact reflection functor. For each topological space X there exists a realcompact space (equation omitted) and a dense continuous function (equation omitted) such that for each realcompact space Z and g$\in$C(X, 2) there exists a unique g$\in$C (equation omitted) with g=g$^{\circ}$(equation omitted). Such a pair (equation omitted) is called a Hewitt's realcompactification of X. Let RCOM be the category of realcompact spaces and continuous functions. The functor (equation omitted) : TOPlongrightarrowRCOM is a realcompact refection functor. In [2], D. Harris established the existence of a category of spaces and maps on which the Wallman compactification is an epirefiective functor. H. L. Bentley and S. A. Naimpally [1] generalized the result of Harris concerning the functorial properties of the Wallman compactification of a T$_1$-space. J. S. Wasileski [5] constructed a new compactification called Alexandroff base compactification. In order to fix our notations and for the sake of convenience. we begin with recalling reflection and Alexandroff base compactification.