Galois connections between categories of L-topological spaces

  • Authors:
  • Dexue Zhang

  • Affiliations:
  • Department of Mathematics, Sichuan University, Chengdu 610064, China

  • Venue:
  • Fuzzy Sets and Systems
  • Year:
  • 2005

Quantified Score

Hi-index 0.21

Visualization

Abstract

A Galois connection between two concrete categories A and B is a pair of concrete functors F:A@?B,G:B@?A such that {id"Y:FG(Y)@?Y|Y@?B} is a natural transformation from the functor F@?G to the identity functor on B and {id"X:X@?GF(X)|X@?A} is a natural transformation from the identity functor on A toG@?F. In this paper, it is demonstrated that for any complete lattices L"1,L"2, every Galois connection between the category L"1-Top of L"1-topological spaces and the category L"2-Top of L"2-topologically spaces is determined by an L"1-topology @D on L"2. Several examples of such Galois connections are given. Under a mild assumption, it is showed that every element of the L"1-topology @D is order-preserving.