The aim of this paper is to find further connections between two different current researches on fuzzy topology: the one based on the concepts of neighborhood, filter and Zadeh function, and the other based on the concepts of remote neighborhood, ideal and order-homomorphism on fuzzy lattices. To approach this, the paper studies two weaker forms of continuous order-homomorphisms, the semi-continuous order-homomorphism and the weakly semi-continuous order-homomorphism between L-fuzzy topological spaces. These order-homomorphisms can be characterized in each of the notions: remote-neighborhood, neighborhood, ideal, filter and molecular net. In addition, some relations connecting weakly semi-continuous order-homomorphisms, semi-Hausdorff L-fts and Urysohn L-fts have also been established.

In order to provide a categorical framework for fuzzy topology, this paper proposes the concept of weak topological category, a weaker form of topological category. Properties of weak topological categories are investigated, and some examples of such category are provided. Moreover, the relationship between a useful weak topological category LTop, the category of L-fuzzy topological spaces and continuous L-valued Zadeh functions, and some of its subcategories is studied.

Using the notion of remote neighborhood, we dene the separation axioms T0 and T1 in L-fuzzy topological spaces (L-fts). The relations between our denitions, Hutton and Reilly's, and Wang's are discussed, and the separations of Hutton's fuzzy unit interval and Gantner's fuzzy real line are examined. Characterizations of these L-fts are proved and a series of properties of them are investigated. Moreover, some results on minimal T0 L-fts and T1 L-fts are established, which will be used immediately in our subsequent discussion.

This paper is devoted to the study of the inverse limits in LTop, the category of L-fuzzy topological spaces and continuous L-valued Zadeh-functions between them, where L is a completely distributive complete lattice. Structures of such limits are described and a series of their properties are investigated. Furthermore, the mappings between two arbitrary inverse systems is de ned and some of their properties are discussed for the case of category LTop.