{"entities":{"Q945020":{"pageid":946868,"ns":120,"title":"Item:Q945020","lastrevid":65534235,"modified":"2026-04-12T03:16:12Z","type":"item","id":"Q945020","labels":{"en":{"language":"en","value":"Approach theory in a category: A study of compactness and Hausdorff separation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5324371"}},"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":"Q945020$D7073CD0-F89D-4CB0-989A-62851007A2F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"158c5505c265790a96f9032ada172054b8fdfeab","datavalue":{"value":{"text":"Approach theory in a category: A study of compactness and Hausdorff separation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q945020$BEB00D8D-F94F-45AE-8171-5D219BD0EC4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9f57e0e3c0c76489b7cd3c9fb91bf6f8aa29d22","datavalue":{"value":"1148.54003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945020$F886F2EA-2143-4F48-A6EE-27C1DAB5F2F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7747abc876ac95ae05460bbcac1928e886f16e27","datavalue":{"value":{"entity-type":"item","numeric-id":879226,"id":"Q879226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945020$EF0AF122-9D16-4014-8719-DA71D36ED2BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945020$EBE724B4-2FEC-4DE1-9BBA-4B8A80558F3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"131b596fa601c3661806f2437747b7af2f563219","datavalue":{"value":{"time":"+2008-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q945020$0AD73EDF-5C9B-45FE-A5DA-89CFC2C72C02","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2329402353287d75d38912443717a99b2eea55ae","datavalue":{"value":"A topological construct \\({\\mathcal X}\\) with a proper \\(({\\mathcal E},{\\mathcal M})\\)-factorization system is endowed with a distance operator by defining a concrete functor \\(\\Lambda:{\\mathcal X}\\rightarrow { Prap}\\) to the construct \\(Prap\\) of pre-approach spaces and contractions.   Then the following class of ``closed morphisms'' arises naturally: \\({\\mathcal F}_{\\Lambda}=\\{f: \\Lambda f\\) is a closed contraction in \\(Prap\\}.\\) For \\(\\Lambda\\) preserving subobjects, all the axioms put forward in the work of \\textit{M. M. Clementino, E.Giuli} and \\textit{W. Tholen} [Pedicchio, Maria Cristina (ed.) et al., Categorical foundations. Special topics in order, topology, algebra, and sheaf theory. Cambridge: Cambridge University Press. Encycl. Math. Appl. 97, 103--163 (2004; Zbl 1059.54012)] in order to develop a functional approach to general topology with respect to the class \\({\\mathcal F}_{\\Lambda}\\) are fulfilled. The author concentrates on \\({\\mathcal F}_{\\Lambda}\\)-compactness of an object \\(\\underline{X}\\) in \\({\\mathcal X},\\) which expresses the fact that the projection \\(p_Y:{\\underline{X}}\\times {\\underline{Y}}\\rightarrow \\underline{Y}\\) belongs to \\({\\mathcal F}_{\\Lambda}\\) for every \\({\\mathcal X}\\)-object \\(\\underline{Y}.\\) Under certain conditions on \\(\\Lambda\\), she proves that \\({\\mathcal F}_\\Lambda\\)-compactness of \\(\\underline{X}\\) is equivalent to \\(0\\)-compactness of \\(\\Lambda(\\underline{X})\\) in \\(Prap\\). She finds that for \\(\\Lambda\\) preserving subobjects, an \\({\\mathcal X}\\)-object \\(\\underline{X}\\) is \\({\\mathcal F}_{\\Lambda}\\)-Hausdorff iff the pretopological reflection of \\(\\Lambda(\\underline{X})\\) is Hausdorff.   In \\(Top\\) the classical compactness and \\(b\\)-compactness are captured if for \\(\\Lambda\\) the functor describing the Kuratowski or \\(b\\)-closure, respectively, is considered. On the construct \\(Ap\\) of approach spaces natural functors \\(\\Lambda\\) arise, which cannot be described by means of a closure operator.","type":"string"},"datatype":"string"},"type":"statement","id":"Q945020$D7ECC5C2-9EB3-4CE2-8B26-FF0E7FE021F0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b06c1395e4711da17bf8b93bbe80ac88c912a760","datavalue":{"value":{"entity-type":"item","numeric-id":386876,"id":"Q386876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945020$BBF19980-AD14-4236-BCF4-3B6FEE2254F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da6bb9e4e82c31800f6eb5c65d9d41d5a31cc52a","datavalue":{"value":"54B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945020$0B2895F8-D956-4332-BD9A-EE094AAAF048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a74b099c042ea6e846e1f740298ec70c9db4aa8","datavalue":{"value":"54A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945020$A751385E-DA96-4BE8-9225-6208BCABA81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2193e4c351a5ae8a19e08e563c2540f53af0e96","datavalue":{"value":"54D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945020$4FA1C118-AE23-42C2-AED7-EB41218B37BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1afcde8f681fb95370dba30f2e660bfbd1183692","datavalue":{"value":"54D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945020$467F2AF2-56C0-46ED-A91D-626DFAF90833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"30f000f89c05b5d6c2fc3f4a3150ef0dac5952d4","datavalue":{"value":"18B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945020$A0DD019A-FDAE-476C-8923-A72A5543A5C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93786525d653731804103944040a984b81d12ca8","datavalue":{"value":"5324371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945020$43C00218-DBEC-4488-A4CD-657ADD6C1CA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd0367c50fa813e8df85df5b9ddcf397ddfcab66","datavalue":{"value":"compact","type":"string"},"datatype":"string"},"type":"statement","id":"Q945020$8F43D9A1-FB2F-41BF-A76C-DFF2D396ED34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c02b0fe62d0f4e6eadc7d181552300794a1f7ad","datavalue":{"value":"Hausdorff","type":"string"},"datatype":"string"},"type":"statement","id":"Q945020$2470C3A1-E9AB-42A2-84B7-97E252850EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e1cc7cb020952d1a7afc953263ed38ae0ae28b5","datavalue":{"value":"(pre-)approach space","type":"string"},"datatype":"string"},"type":"statement","id":"Q945020$C5184FAB-0A74-4780-BC2C-4198BC4B45C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef19ce9965de3e68d6d445ee7da48e9a1fba0270","datavalue":{"value":"closed morphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q945020$5252872D-70CD-4A63-B619-574EFCA90E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8ad4bc5f34162d83593f895332786e1dd94afeb","datavalue":{"value":"\\(b\\)-compact","type":"string"},"datatype":"string"},"type":"statement","id":"Q945020$917C72D5-5092-42C8-9BEF-71C57B224EF8","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":"Q945020$357EA3A8-4AD6-46DC-A9A4-622387A3C921","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c173711765c4b59a22d71159addd436fc7f9d658","datavalue":{"value":"https://doi.org/10.1007/s10485-007-9066-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q945020$DD1EAB16-2B03-434A-B7CD-436D79F50765","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f1dafbd4ed5fd6b63e94ab707d15272d0c5914f9","datavalue":{"value":"W2093575393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945020$04CE3B48-7611-4B0C-8CA6-2B6C5A9EBA36","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945020$92661925-ACD4-4404-AD17-78056FF8FA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8de836b573c170030af8878d37a17824e81e8387","datavalue":{"value":{"entity-type":"item","numeric-id":4727857,"id":"Q4727857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945020$77AB955B-84FC-4D2A-A1EF-2C981237CB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ebe699252f3d649aafbf37ee4bcd61d02d86ba8","datavalue":{"value":{"entity-type":"item","numeric-id":818397,"id":"Q818397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945020$E9F8CD17-E554-4974-A31E-C989A68F094A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914442f5d411384190c97856943fda24e01bcdc5","datavalue":{"value":{"entity-type":"item","numeric-id":879227,"id":"Q879227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945020$8EAF9728-D09A-4D99-9CBE-1172088CFA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00db90a451824fd521c510780b8838c164a4cd47","datavalue":{"value":{"entity-type":"item","numeric-id":3130029,"id":"Q3130029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945020$FCAF24A5-5D5A-42AE-BF06-D5068197A84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"764a60553eea2752472f1ba7eccbd3b4aa14b804","datavalue":{"value":{"entity-type":"item","numeric-id":4464694,"id":"Q4464694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945020$1C29EACC-85D3-4AD0-84A0-905B4D898095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0847c8d86a2868fc26f38cd7434139d913ad8dcf","datavalue":{"value":{"entity-type":"item","numeric-id":3961479,"id":"Q3961479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945020$670E048C-9F6A-4D34-A2C9-FF8C13E5BD55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f01e7f45985736eead0d14ab4c89501ae63610e","datavalue":{"value":{"entity-type":"item","numeric-id":818398,"id":"Q818398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945020$18F3CB9E-EA42-4D7F-9DD2-96FB0D00DFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ab935f9ec414a1f11cbd0e4411fc839e9698f97","datavalue":{"value":{"entity-type":"item","numeric-id":4665113,"id":"Q4665113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945020$C606DBA3-E29B-439D-A357-108C78223328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35da5d3a74b77146824cced072c09cb0fb590e2f","datavalue":{"value":{"entity-type":"item","numeric-id":1273642,"id":"Q1273642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945020$1B190212-0E4D-4114-B409-CAD96475811E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564eb3f2495c9fa9a303e868a176930b72cd2882","datavalue":{"value":{"entity-type":"item","numeric-id":1840726,"id":"Q1840726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945020$AC25F686-7C52-4D4B-8C31-9F3770474707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"222827e8aa1db3c280c41f5a6e451134e172c794","datavalue":{"value":{"entity-type":"item","numeric-id":4859897,"id":"Q4859897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945020$ACB5072A-0BC2-4856-8700-F0EEFFCD4102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c261b608a040aa40389db468125c58858bd89d9","datavalue":{"value":{"entity-type":"item","numeric-id":1380065,"id":"Q1380065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945020$4394D39A-6BC5-4EF2-9558-83843406B4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cf4b3fbf7bb34dec9ef45add591e72af3e074e6","datavalue":{"value":{"entity-type":"item","numeric-id":3966761,"id":"Q3966761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945020$2F4EE6AE-060C-4256-8B16-EF05F4B712D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deed384c80667a3479b6e02a833363c54e6e6c8e","datavalue":{"value":{"entity-type":"item","numeric-id":1120139,"id":"Q1120139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945020$74C9B80F-FA54-469C-84C6-AF90BF0825AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf52f493ec32523bccb9ad251a9aac4352494f4b","datavalue":{"value":{"entity-type":"item","numeric-id":4340906,"id":"Q4340906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945020$AA3D29A3-484B-4513-A77F-DDC37041323A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0149287c3cc77d441b89615462b3c21f72cb3dca","datavalue":{"value":{"entity-type":"item","numeric-id":1380946,"id":"Q1380946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945020$042CC8E3-2DFB-487E-8476-034ACE264C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64df5019894c7be913c62f6e983fe3edf138f186","datavalue":{"value":{"entity-type":"item","numeric-id":3221026,"id":"Q3221026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945020$74934311-14A8-4F3D-A6A5-73652A250825","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5175f2d9abbef21449bfc369b3ae98a192505f26","datavalue":{"value":"10.1007/S10485-007-9066-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945020$275684CD-BC8E-4B49-9CD0-7A396D3CC809","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06ba1517aa60e3b4862d36b8516bcdb4668e296f","datavalue":{"value":{"entity-type":"item","numeric-id":2764165,"id":"Q2764165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bca3cc2c5a324ce5a158ceb9110d9d26bf52d5e1","datavalue":{"value":{"amount":"+0.8180044293403625","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":"Q945020$F719EE45-4E4E-4E9D-A6C7-89B83E1905A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a882d99f0da2b464e201a5d94eabf7947aaf5c29","datavalue":{"value":{"entity-type":"item","numeric-id":4464694,"id":"Q4464694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"330b985aa69d35e014577c26371664762d36ef89","datavalue":{"value":{"amount":"+0.7870096564292908","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":"Q945020$ADDB9197-C45D-44EA-ABF8-64D109B67628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"879d5f0e280970ca56d1229614a219803f802efc","datavalue":{"value":{"entity-type":"item","numeric-id":1296335,"id":"Q1296335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42088a21ef5041341c1a590f0e8c32829e4f528b","datavalue":{"value":{"amount":"+0.7869882583618164","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":"Q945020$A0CB12A3-0155-4753-B478-8F9D08AA5E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb885ac8b73e6defe87d386072f6bd589062e141","datavalue":{"value":{"entity-type":"item","numeric-id":766137,"id":"Q766137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6a27c0fa31ce26a7ee49f8f0a6451f0f9fca1b0","datavalue":{"value":{"amount":"+0.7857065200805664","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":"Q945020$7309930A-1E13-4DB2-936A-784E08B939AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbd2619c543fb3b9538ba8804ee860e5aac41f91","datavalue":{"value":{"entity-type":"item","numeric-id":5963957,"id":"Q5963957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"055110ff3767ed6fdd80052a0027741970eee3db","datavalue":{"value":{"amount":"+0.7757720947265625","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":"Q945020$0F1262C0-59FF-4EF7-8DED-9954713E0134","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Approach theory in a category: A study of compactness and Hausdorff separation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Approach_theory_in_a_category:_A_study_of_compactness_and_Hausdorff_separation"}}}}}