• Title/Summary/Keyword: coreflection

Search Result 4, Processing Time 0.017 seconds

IDEMPOTENTS IN QUASI-LATTICES

  • Hong, Young-Hee
    • 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.

  • PDF

ON HOMOMORPHISMS ON CSASZAR FRAMES

  • Chung, Se-Hwa
    • 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).

On The Reflection And Coreflection

  • Park, Bae-Hun
    • 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.

  • PDF