Inverse systems and inverse limits in the category of plain textures (Q5963968)

Following the concept of texture of, e.g., [\textit{L. M. Brown} and \textit{R. Ertürk}, ``Fuzzy sets as texture spaces. I: Representation theorems'', Fuzzy Sets Syst. 110, No. 2, 227--235 (2000; Zbl 0953.54010); ``Fuzzy sets as texture spaces. II: Subtextures and quotient textures'', Fuzzy Sets Syst. 110, No. 2, 237--245 (2000; Zbl 0956.54006)] (which provides a representation of fuzzy sets as crisp subsets of some basic set), the author studies inverse limits in the category of particular textures. More precisely, a \textit{texture} is a pair \((S,\mathcal{A})\), where \(S\) is a non-empty set, and \(\mathcal{A}\) is a collection of subsets of \(S\), which is point-separating (for every distinct elements of \(S\), there exists an element of \(\mathcal{A}\) containing exactly one of them), makes a complete, completely distributive lattice containing \(S\) and the empty set, where meets coincide with set-theoretic intersections and finite joins with set-theoretic unions. Certain maps between the underlying sets of textures provide morphisms of textures, and thus, one obtains the category \textbf{ifTex} of textures. A texture \((S,\mathcal{A})\) is called \textit{plain} (Definition 2.1 on page 220) provided that joins in \(\mathcal{A}\) coincide with unions. One thus obtains a full subcategory \textbf{ifPTex} of \textbf{ifTex} of plain textures. The author then describes inverse limits in the category \textbf{ifPTex} (Definition 4.1 on pages 225--226) and shows that products of textures can be described as certain inverse limits (Theorem 4.19 on page 231). The paper is well written and provides some of its required preliminaries, but requires from the reader a considerable background on texture theory.