Fuzzy pretopological spaces, an extensional topological extension of FTS (Q1819223)

Introducing the category \textbf{FprTop} of fuzzy pretopological spaces, the author proves that this category is a well-fibred extensional topological construct and a finally dense extension of the well-known category \textbf{FTS} of fuzzy topological spaces [\textit{R. Lowen}, J. Math. Anal. Appl. 56, 621-633 (1976; Zbl 0342.54003)]. The category \textbf{FPrTop} contains both the category \textbf{PrTop} of pretopological spaces and the category \textbf{PNeigh} of probabilistic neighborhood spaces [\textit{H. Herrlich} and \textit{D. Zhang}, Appl. Categ. Struct. 6, No. 4, 495-513 (1998; Zbl 0917.54003)] as simultaneously bireflective and bicoreflective subcategories.