A characterization of the category \(Q\)-\(\mathbf{TOP}\)
type: Item
instance of: scholarly article
title: A characterization of the category \(Q\)-\(\mathbf{TOP}\)
zbMATH Open document ID: 1288.54009
author: Sheo Kumar Singh
author: Arun K. Srivastava
published in: Fuzzy Sets and Systems
publication date: 2014-04-14T00:00:00Z
full work available at URL: https://arxiv.org/abs/1112.4315
review text: There exists a convenient characterization of the construct \textbf{Top} of topological spaces through the so-called \textit{Sierpinski object}~[\textit{E. G. Manes}, General Topology Appl. 4, 341--360 (1974; Zbl 0289.54003)], which, in this particular case, is just the well-known \textit{Sierpinski space} \((\{0,1\}\), \(\{\varnothing,\,\{1\},\,\{0,1\}\})\). In~[\textit{A. K. Srivastava}, J. Math. Anal. Appl. 103, 103--105 (1984; Zbl 0555.54006)], this Sierpinski object technique has been used to characterize the category \([0,1]\)-\textbf{Top} of fuzzy topological spaces (in the sense of~[\textit{C. L. Chang}, J. Math. Anal. Appl. 24, 182--190 (1968; Zbl 0167.51001)]), providing thereby a fuzzification of the Sierpinski space in the form of \(([0,1]\), \(\{\underline{0},\,id_{[0,1]},\,\underline{1}\})\), where \(\underline{0}\) (resp. \(\underline{1}\)) is the constant map with value \(0\) (resp. \(1\)), and \(id_{[0,1]}\) is the identity map. The present paper gives a similar characterization (Theorem~4.1 on page~48) of the category \(Q\)-\textbf{Top} of \(Q\)-topological spaces of~[\textit{S. A. Solovyov}, Fuzzy Sets Syst. 159, No. 19, 2567--2585 (2008; Zbl 1177.54004)], in which \(Q\) is an algebra of an arbitrary (generalized) variety (i.e., allowing a class of not necessarily finitary operations). The respective Sierpinski object now has the form of \((Q\), \(\langle id_Q\rangle)\), where \(\langle id_Q\rangle\) is the subalgebra of \(Q^Q\) (all the maps \(Q\rightarrow Q\)), which is generated by \(id_Q\). This new characterization of the authors includes the above-mentioned two as particular cases.
Mathematics Subject Classification ID: 54A40
Mathematics Subject Classification ID: 08B99
Mathematics Subject Classification ID: 18B30
Mathematics Subject Classification ID: 18B99
Mathematics Subject Classification ID: 08C05
Mathematics Subject Classification ID: 03E72
Mathematics Subject Classification ID: 54B30
zbMATH DE Number: 6284619
zbMATH Keywords: category of sets with structure
zbMATH Keywords: lattice-valued topology
zbMATH Keywords: optimal family of morphisms
zbMATH Keywords: Sierpinski object
zbMATH Keywords: variety of algebras
reviewed by: Sergejs Solovjovs
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2074450822
cites work: Q4693062
cites work: State property systems and closure spaces: a study of categorical equivalence
cites work: Categories of algebraic sets
cites work: Dual attachment pairs in categorically-algebraic topology
cites work: The fuzzy Tychonoff theorem
cites work: Fuzzy topological spaces and fuzzy compactness
cites work: Compact Hausdorff objects
cites work: Q4123496
cites work: Relationship of algebraic theories to powerset theories and fuzzy topological theories for lattice-valued mathematics
cites work: Sobriety and spatiality in varieties of algebras
cites work: Fuzzy Sierpinski space
DOI: 10.1016/J.FSS.2013.02.015
Recommended article: Exponential \(Q\)-topological spaces
Recommended article: SIERPINSKI OBJECTS IN SUBCATEGORIES OF FTS
Recommended article: On \(T_0\) objects in \(Q\)-TOP
Recommended article: The role of Sierpiński object in fuzzy topology
Recommended article: \(FTS_ 0:\) The epireflective hull of the Sierpinski object in FTS
description: scientific article; zbMATH DE number 6284619