Characterization of a category for monoidal topology (Q745720): Difference between revisions

This paper presents a characterization of the category of preordered sets and monotone maps that is similar to that of the category of topological spaces and continuous maps in terms of the Sierpinski object (Theorem 2.10), then the author lifts the characterization to the quantale-valued setting (Theorem 5.10). Reviewer's remark: It should be pointed out that some of the main results presented in the paper already exist in the literature. The \(V\)-preordered sets in Definition 5.1 are exactly fuzzy preordered sets valued in \(V\), such things have already been investigated extensively by fuzzy set theorists. The category \(V\)-\textbf{Prost}\(_a\) in Definition 5.2 is exactly the category of Alexandroff strong \(V\)-topological spaces in [\textit{P. Chen} et al., Fuzzy Sets Syst. 182, No. 1, 79--92 (2011; Zbl 1250.54008)]. Theorem 5.3 in the paper is essentially Theorem 3.5 in [\textit{P. Chen} and \textit{D. Zhang}, Fuzzy Sets Syst. 161, No. 18, 2505--2514 (2010; Zbl 1207.54014)]. The only difference, an inessential one for this result, is that \(V\) is not assumed to be commutative here.