Stratified \(L\)-ordered quasiuniform limit spaces (Q2445543)

Following the study on stratified \(L\)-uniform convergence spaces over a (variation of) unital quantale \(L\) of [\textit{A. Craig} and \textit{G. Jäger}, Fuzzy Sets Syst. 160, No. 9, 1177--1203 (2009; Zbl 1184.54006)], [\textit{G. Jäger} and \textit{M. H. Burton}, Quaest. Math. 28, No. 1, 11--36 (2005; Zbl 1075.54003)], the author introduces stratified \(L\)-ordered quasiuniform limit spaces and their respective uniformly continuous maps (Definition~3.1 on pages~57--58), and considers the respective category \(SL\)-\textbf{OQULim}, which appears to be topological (Theorem~3.9 on page~61). He then presents the concept of stratified \(L\)-quasiuniform spaces (Definition~4.1 on page~63), their respective uniformly continuous maps, and shows that the respective category \(SL\)-\textbf{QUnif} is isomorphic to a full bireflective subcategory of the category \(SL\)-\textbf{OQULim} (Corollary~4.7 on page~65). At the very end of Section~5 on page~67, the paper provides a concrete functor from the category \(SL\)-\textbf{OQULim} to the category \(SL\)-\textbf{OLim} of stratified \(L\)-ordered limit spaces and continuous maps of [\textit{J. Fang}, Fuzzy Sets Syst. 161, No. 22, 2923--2944 (2010; Zbl 1271.54030)], [\textit{F. Jinming}, ibid. 161, No. 16, 2130--2149 (2010; Zbl 1197.54015)], [\textit{G. Jäger}, Quaest. Math. 24, No. 4, 501--517 (2001; Zbl 0991.54004)]. In conclusion, the author introduces \([0,1]\)-ordered probabilistic quasiuniform limit spaces (Definition~6.1 on pages~68--69), and shows that every such space induces a stratified \([0,1]\)-ordered quasiuniform limit space (Theorem~6.3 on page~69). Additionally, he provides a way to get a \([0,1]\)-ordered quasiuniform limit space from a fuzzy quasi-metric space (Theorem~6.5 on page~71). The English of the paper is quite poor, and the amount of typos is significant (e.g., the formulation of Lemma~2.9 on page~55 is bad). The mathematical language of the author is deficient as well. For example, the term ``it is initial'' in the formulation of Theorem~3.9 on page~61 makes no sense in its context. Even more, on line~7 of page~62, the author claims that every topological category has binary products of objects, which is false unless the category in question is a construct, cf. \textit{J. Adámek} et al. [Repr. Theory Appl. Categ. 2006, No. 17, 1--507 (2006; Zbl 1113.18001)].