Considering a commutative unital quantale L as the truth value table and using the tool of L-generalized convergence structures of stratified L-filters, this paper introduces a kind of fuzzy upper topology, called fuzzy S-upper topology, on L-preordered sets. It is shown that every fuzzy join-preserving L-subset is open in this topology. When L is a complete Heyting algebra, for every completel...

The aim of this paper is to extend the truth value table oflattice-valued convergence spaces to a more general case andthen to use it to introduce and study the quantale-valued fuzzy Scotttopology in fuzzy domain theory. Let $(L,*,varepsilon)$ be acommutative unital quantale and let $otimes$ be a binary operationon $L$ which is distributive over nonempty subsets. The quadruple$(L,*,otimes,varep...

This paper focuses on the relationships between stratified $L$-conver-gence spaces, stratified strong $L$-convergence spaces and stratifiedlevelwise  $L$-convergence spaces. It has been known that: (1) astratified $L$-convergence space is precisely a left-continuousstratified levelwise $L$-convergence space; and (2) a  stratifiedstrong $L$-convergence space is naturally a stratified $L$-converg...

A problem stated by Höhle in his book “Many-valued Topology and Applications” is solved. The problem consists of finding a necessary and sufficient condition for a stratified L-filter to be induced by a -filter in the sense of Lemma 4.4.3 in this book. The condition given is proved to be equivalent to the condition considered in Proposition 4.4.4 in this book in the case of complete MV -algebra...

A theory of tubular neighborhoods for strata in manifold stratified spaces is developed. In these topologically stratified spaces, manifold stratified approximate fibrations and teardrops play the role that fibre bundles and mapping cylinders play in smoothly stratified spaces. Applications include a multiparameter isotopy extension theorem, neighborhood germ classification and a topological ve...

This paper introduces a new approach to topology, based on category theory and universal algebra, and called categorically-algebraic (catalg) topology. It incorporates the most important settings of lattice-valued topology, including poslat topology of S.~E.~Rodabaugh, $(L,M)$-fuzzy topology of T.~Kubiak and A.~v{S}ostak, and $M$-fuzzy topology on $L$-fuzzy sets of C.~Guido. Moreover, its respe...

we study different completeness definitions for two categories of lattice-valued cauchy spaces and the relations between these definitions. we also show the equivalence of a so-called completion axiom and the existence of a completion.

this paper introduces a new approach to topology, based on category theory and universal algebra, and called categorically-algebraic (catalg) topology. it incorporates the most important settings of lattice-valued topology, including poslat topology of s.~e.~rodabaugh, $(l,m)$-fuzzy topology of t.~kubiak and a.~v{s}ostak, and $m$-fuzzy topology on $l$-fuzzy sets of c.~guido. moreover, its respe...