Categories isomorphic to \(L\)-FTOP (Q2492332): Difference between revisions

By \(L\)-topology (where \(L\) is a completely distributive lattice with an order reversing involution) on a set, the author means a subset \(\delta\) of \(L^X\) closed under finite meets and arbitrary joins; \(L\)-TOP denotes the category of \(L\)-topological spaces, and an \(L\)-fuzzy topological space is an ordered pair \((X, T)\), where \(T: L^X\to L\) is a map satisfying the following axioms: (i) \(T(O_X)= T(1_X)= 1\); (ii) \(\forall A_1\), \(A_2\in L^X\), \(T(A_1\vee A_2)\geq T(A_1)\wedge T(A_2)\); (iii) \(\forall A\{A_j\}_{j\in J}\subseteq L^X\), \(T(\bigvee_{j\in J} A_j)\geq \bigwedge_{j\in J} A_j\). A continuous map between two \(L\)-fuzzy topological spaces \((X, T)\) and \((Y, S)\) is a mapping \(f: X\to Y\) such that \(\forall U\in L^Y\), \(T(f^\leftarrow(U))\geq S(U)\), where \(F^\leftarrow(U)(x)= U(f(x))\). The category of \(L\)-fuzzy topological spaces and their continuous mappings is denoted by \(L\)-FTOP; to reflect the relations between \(L\)-fuzzy topologies and their neighborhood systems, the author constructs the category of \(L\)-fuzzy quasi-coincident neighborhood spaces and appropriate continuous maps, denoted by \(L\)-PrFQN and the category of topological \(L\)-fuzzy quasi-coincident nbd spaces and appropriate continuous maps, denoted by \(L\)-FQN. The author also constructs two other important categories LaTQN and \(L\)-AITOP. It is proved that \(L\)-FTOP is isomorphic to \(L\)-AITOP and LaTQN is isomorphic to \(L\)-FQN when \(L\), as above, has a local multiplicative property. Finally, it is obtained that \(L\)-FTOP, \(L\)-FQN and \(L\)-AITOP are isomorphic to each other.