• Journal of applied mathematics & informatics
• /
• v.13 no.1_2
• /
• pp.487-500
• /
• 2003

We investigate categorical relationships between the category of smooth fuzzy topological spaces, the category of intuitionistic fuzzy topological spaces, and the category of intuitionistic fuzzy topological spaces, and the category of intuitioistic fuzzy topological spaces in Sostak's sense.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.15 no.2
• /
• pp.137-144
• /
• 2015

In this paper, we obtain two types of adjoint functors between the category of intuitionistic fuzzy topological spaces in Mondal and Samanta’s sense, and the category of intuitionistic fuzzy topological spaces in Ŝostak’s sense. Also, we reveal that the category of Chang’s fuzzy topological spaces is a bireflective full subcategory of the category of intuitionistic fuzzy topological spaces in Mondal and Samanta’s sense.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.2 no.3
• /
• pp.17-21
• /
• 1992

In this paper we consider the notion of fuzzy relation as a generalization of that of fuzzy set. For a complete Heyting algebra L. the category set(L) of all L-fuzzy sets is shown to be a bireflective subcategory of the category Rel(L) of all L-fuzzy relations and L-fuzzy relation preserving maps. We investigate categorical structures of subcategories of Rel(L) in view of quasitopos. Among those categories, we include the category L-fuzzy similarity relations with respect to both max-min and max-product compositions, respectively, as a cartesian closed topological category. Moreover, we describe exponential objects explicitly in terms of function space.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.7 no.3
• /
• pp.102-106
• /
• 1997

We introduce the category [PFSyn] of saturated fuzzy syntopogenous preordered spaces and continuous isotones ans show that the category [PFSyn] is topological and cotopological. Furthermore, to consdier a compatibility between order structures and fuzzy syntopogenous structure, we introduce a category [IPFSyn] of increasing saturated fuzzy syntopogenous spaces and its dual category [IPFSyn] of decreasing fuzzy syntopogenous spaces, and show that [IPFSyn] and [DPFSyn] are both bireflective in the category [PFSyn].

• Journal of the Korean Institute of Intelligent Systems
• /
• v.12 no.5
• /
• pp.487-490
• /
• 2002

In this paper, we introduce the notion of fuzzy pseudotopological tower and fuzzy pretopological tower And we show that the category FPsTR of fuzzy pseudotopological tower spaces and the category FPrTR of fuzzy pretopological tower spaces are bireflective subcategoies of the category FLTR of fuzzy limit tower spaces.

• Communications of the Korean Mathematical Society
• /
• v.12 no.1
• /
• pp.113-126
• /
• 1997

In this paper we introduce a new definition of a lattice fuzzy topology which is a generalization of Lowen's fuzzy topology and show that the category of Lowen's fuzzy topological spaces is a bireflective full subcategory of the category of lattice fuzzy topological spaces.

• Korean Journal of Mathematics
• /
• v.25 no.4
• /
• pp.579-585
• /
• 2017

Based on injectivity, we introduce some definitions in the category NFHG of normal fuzzy hypergroups. And we show that a complete normal fuzzy hypergroup is a weakly injective object in NFHG. Also we investigate weak injectivity in the comma category NFHG/K.

• Korean Journal of Mathematics
• /
• v.17 no.2
• /
• pp.161-167
• /
• 2009

Category Fuz of fuzzy sets has a similar function to the Category Set. We study injective, absolute retract, enough injectives, injective hulls and essential extension in the Category Fuz of fuzzy sets.

• Honam Mathematical Journal
• /
• v.33 no.1
• /
• pp.27-41
• /
• 2011

This paper studies the relationship between L-fuzzy proximities and L-fuzzy topologies by topological fuzzy remote neigh-borhood systems. We will prove that the category of L-fuzzy topo- logical spaces can be embedded in the category of L-fuzzy quasi-proximity spaces as a core ective full subcategory.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2003.05a
• /
• pp.37-40
• /
• 2003

We introduce the category IRel (H) consisting of intuitionistic fuzzy relational spaces on sets and we study structures of the category IRel (H) in the viewpoint of the topological universe introduced by L.D.Nel. Thus we show that IRel (H) satisfies all the conditions of a topological universe over Set except the terminal separator property and IRel (H) is cartesian closed over Set.