{"entities":{"Q2702344":{"pageid":2713089,"ns":120,"title":"Item:Q2702344","lastrevid":47584201,"modified":"2026-01-02T03:46:00Z","type":"item","id":"Q2702344","labels":{"en":{"language":"en","value":"Categorical foundation of variable-basis fuzzy topology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1574765"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2702344$E9FC7EC5-AF4B-481F-A0E4-B3FC319835A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e166290381901c8b156e4b5555a7a24b6e8f18ec","datavalue":{"value":"0968.54003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702344$4389C7CF-803A-474D-BCFC-A0836C04AB3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"370f55db45e0a9c97193292d705dfc77e60381b9","datavalue":{"value":{"entity-type":"item","numeric-id":277329,"id":"Q277329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2702344$68BBC305-BEC3-46CD-8738-D7FC4952E7F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb40d11281955feb9c83549c13a27c60db3daa79","datavalue":{"value":{"time":"+2001-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2702344$648BD0E4-FF9C-49B7-97FE-4443D81EEEE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0cf4f54dcf76751df31d814baad823818421bbd0","datavalue":{"value":"54A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702344$6E6FAA80-9ADF-45BA-B9B2-E6B1D4626438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da6bb9e4e82c31800f6eb5c65d9d41d5a31cc52a","datavalue":{"value":"54B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702344$D9385446-D8CE-4DD0-A48E-5A74C2D8C1B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9fd3f5c1324b5e90637d634b741913dd8ac4fcb","datavalue":{"value":"1574765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702344$BB1DA0F7-885D-4CAF-87C2-4AC240312CDD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef6f14b4b6220fa683a7c9ab34c90814123e169d","datavalue":{"value":"sobrification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702344$9A2AAA64-3CF2-40ED-854C-B65E64652C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57b3543a5d63724df1b83b533b5cb6205385be6e","datavalue":{"value":"powerset operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702344$F23CB61E-A9B6-4B3A-95C9-7B3993516016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6381bfcaca697fca2556e2064223cee08840b612","datavalue":{"value":"\u0160ostak topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702344$E5D28177-F4D8-4398-9328-8F3DBDFCD1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c7dfd1ab67fbce273f865d4ce0edc484c69f9f","datavalue":{"value":"complete lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702344$93C22FFA-FAF9-44D6-A6FB-CD27BBEADFEE","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2702344$2157CD98-2BB7-4393-BBA3-35E4E51A4AAD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7366951547be9966420aa36d149647faee6fea6e","datavalue":{"value":{"text":"Categorical foundation of variable-basis fuzzy topology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2702344$C5972E52-A66E-4436-95F2-2061A20F8C69","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7460d4d66da36944bc879936a68854bf6bb868c0","datavalue":{"value":"This paper is a companion chapter of the chapter by \\textit{U. H\u00f6hle} and \\textit{A. \u0160ostak}, Axiomatic foundations of fixed-basis fuzzy topology, ibid., 123-272 (1999). In 1965, Zadeh introduced the idea of fuzzy sets of a set \\(X\\), which is defined to be a function \\(X\\to [0, 1]\\). In 1968, C. L. Chang combined the idea of fuzzy sets with topological ideas and thus introduced the concept of fuzzy topological space. A Chang fuzzy topology on a set \\(X\\) is a subframe of \\([0,1]^X\\), i.e., a subset of \\([0,1]^X\\) closed with respect to finite infs and arbitrary sups. In 1970, Goguen introduced the idea of \\(L\\)-fuzzy topological space replacing \\([0,1]\\) by a complete lattice \\(L\\).NEWLINENEWLINENEWLINEIn the 1980's, \u0160ostak introduced a different idea of fuzzy topology which will be called \u0160ostak topology at this moment. A \u0160ostak topology on a set \\(X\\), by definition, is a function \\(T: [0,1]^X\\to [0,1]\\) such that: (1) \\(T(0_X)= T(1_X)= 1\\); (2) \\(T(\\lambda_1\\wedge \\lambda_2)\\geq T(\\lambda_1)\\wedge T(\\lambda_2)\\) and (3) \\(T(\\bigvee_{t\\in T}\\lambda_t)\\geq \\bigwedge_{t\\in T} T(\\lambda_t)\\). Clearly, the unit interval \\([0,1]\\) in the definition of \u0160ostak topology can be replaced by a complete lattice \\(L\\).NEWLINENEWLINENEWLINEIn order to distinguish these two different ideas, the Linz Group (a group of mathematicians who participate the annual Seminar on fuzzy sets and related topics hold in Linz) agreed to call the Chang-Goguen spaces \\(L\\)-topological spaces and the \u0160ostak topological spaces \\(L\\)-fuzzy topological spaces. More generally, U. H\u00f6hle observed that if the complete lattice \\(L\\) is enriched with another binary operation \\(\\otimes\\) satisfying certain properties, then one can replace the meet operation \\(\\wedge\\) by \\(\\otimes\\) in the definitions of \\(L\\)-topological spaces and \\(L\\)-fuzzy topological spaces (see the chapter by \\textit{U. H\u00f6hle} and \\textit{A. \u0160ostak} [loc. cit.]). These terminologies are adopted in this paper.NEWLINENEWLINENEWLINEFor a fixed lattice \\(L\\), one obtains a category of \\(L\\)-topological spaces and a category of \\(L\\)-fuzzy topological spaces. Clearly for different lattices \\(L\\), one obtains different categories of \\(L\\)-topological spaces and \\(L\\)-fuzzy topological spaces. The complete lattices \\(L\\) are called the basis of the corresponding \\(L\\)-topological spaces \\((L\\)-fuzzy topological spaces). The above-mentioned chapter by U. H\u00f6hle and A. \u0160ostak is devoted to the categorical foundations of fixed-basis fuzzy topology, i.e., for the category of \\(L\\)-topological spaces (\\(L\\)-fuzzy topological spaces) where \\(L\\) is a fixed lattice.NEWLINENEWLINENEWLINEThis paper provides a categorical foundation for \\(L\\)-topological spaces and \\(L\\)-fuzzy topological spaces when \\(L\\) is allowed to change from one to another object within a given category of complete lattices. It is proved that the category of \\(L\\)-topological spaces (\\(L\\)-fuzzy topological spaces), where \\(L\\) is allowed to change within a given category of complete lattices, is topological over some ground category (or base category); characterizations of some basic topological concepts such as continuity of functions, sobriety of spaces, etc., and numerous examples are presented.NEWLINENEWLINEFor the entire collection see [Zbl 0942.00008].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702344$F4541030-F97E-4131-AACB-D01CF83B3F8E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7191bd518c565f82a6cc7d2977f46a3b0324d39a","datavalue":{"value":{"entity-type":"item","numeric-id":2770379,"id":"Q2770379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2702344$16495BB9-4B05-4707-9B92-BF18F53EAC51","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"852d2f42276d578c29b78c213d9f34db5ba2c1e0","datavalue":{"value":{"entity-type":"item","numeric-id":2702343,"id":"Q2702343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bc5255f8dbf1996176d92e49ae15bf389d8e4fb","datavalue":{"value":{"amount":"+0.9347319602966307","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2702344$B4076B49-39FA-4B6B-9C96-07740F9CCFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b76af6d9f7b6d182c1b1c9d78e7821ac9abaaeed","datavalue":{"value":{"entity-type":"item","numeric-id":4893843,"id":"Q4893843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bc5255f8dbf1996176d92e49ae15bf389d8e4fb","datavalue":{"value":{"amount":"+0.9347319602966307","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2702344$4EBD8CB0-EA74-406A-B952-8A9267287D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5849ca373878b507ced9b3a303c165e2356bb316","datavalue":{"value":{"entity-type":"item","numeric-id":2782227,"id":"Q2782227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f87599c4a006ebab386488ba7d712f67633fb2af","datavalue":{"value":{"amount":"+0.8143289089202881","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2702344$E9535D4C-73A6-4607-9E72-FA6B1D601C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f83547039a0adf52fda6a3e5414c0a22d40bb5ea","datavalue":{"value":{"entity-type":"item","numeric-id":919307,"id":"Q919307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43ffa8b7aca8392bc32b4b131d36a8d10bf3a655","datavalue":{"value":{"amount":"+0.8010679483413696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2702344$4DAC4E7D-AA92-4340-9F68-4C8A5C4164FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e4e9168ad01776238588bff27b916f6e9b8bc22","datavalue":{"value":{"entity-type":"item","numeric-id":419052,"id":"Q419052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"023d63eef78780b4954e35605567d114cc613270","datavalue":{"value":{"amount":"+0.7962581515312195","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2702344$94DA0C5F-8ECC-48C3-B1C1-6A2E74747F1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2702344","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2702344"}}}}}