[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"doc-seo-203305-105":3,"detail-sidebar-cat-0-en-105":81,"doc-detail-203305-en":131},{"code":4,"msg":5,"data":6},0,"ok",{"site_id":7,"language":8,"slug":9,"title":10,"keywords":11,"description":12,"schema_data":13,"social_meta":74,"head_meta":76,"extra_data":78,"updated_unix":80},105,"en","notes-on-kuratowski-mrowka-theorems-in-point-free-context","NOTES ON KURATOWSKI-MRÓWKA THEOREMS - IN POINT-FREE CONTEXT","","The paper presents Kuratowski-Mrówka compactness characterizations in a point-free setting. It proves that a locale A is compact exactly when the natural projection A×B→B is closed for each locale B. For infinite cardinals α, it establishes an α-compactness criterion restricted to α-discrete spatial locales B, leaving open whether A×B→B is closed for all α-discrete B. It also studies a dual characterization: which B make A×B→B closed for all locales A, relating the result to complete Boolean algebras in regular frames.",{"@graph":14,"@context":73},[15,34,56],{"@type":16,"itemListElement":17},"BreadcrumbList",[18,23,27,31],{"item":19,"name":20,"@type":21,"position":22},"https://docshare.wps.com","Home","ListItem",1,{"item":24,"name":25,"@type":21,"position":26},"https://docshare.wps.com/document/","Document",2,{"item":28,"name":29,"@type":21,"position":30},"https://docshare.wps.com/document/research-report/","Research & Report",3,{"item":32,"name":10,"@type":21,"position":33},"https://docshare.wps.com/document/notes-on-kuratowski-mrowka-theorems-in-point-free-context/203305/",4,{"url":32,"name":10,"@type":35,"image":36,"author":41,"headline":10,"publisher":44,"fileFormat":47,"inLanguage":8,"description":12,"dateModified":48,"datePublished":49,"encodingFormat":47,"isAccessibleForFree":50,"interactionStatistic":51},"DigitalDocument",{"url":37,"@type":38,"width":39,"height":40},"https://docshare.wps.com/thumbnails/notes-on-kuratowski-mrowka-theorems-in-point-free-context/203305.png","ImageObject",300,407,{"name":42,"@type":43},"Tawan","Person",{"url":19,"name":45,"@type":46},"DocShare","Organization","application/pdf","2026-10-29","2026-09-04",true,{"@type":52,"interactionType":53,"userInteractionCount":55},"InteractionCounter",{"@type":54},"ViewAction",12,{"@type":57,"mainEntity":58},"FAQPage",[59,65,69],{"name":60,"@type":61,"acceptedAnswer":62},"What does the Kuratowski-Mrówka theorem characterize in topology?","Question",{"text":63,"@type":64},"It characterizes compact spaces X by the condition that for every space Y the projection X×Y→Y is closed.","Answer",{"name":66,"@type":61,"acceptedAnswer":67},"How is compactness characterized for a locale in this paper?",{"text":68,"@type":64},"A locale A is compact iff the natural projection A×B→B is closed for every locale B.",{"name":70,"@type":61,"acceptedAnswer":71},"What is proved in the paper for α-compactness when α is an infinite cardinal?",{"text":72,"@type":64},"An α-compact locale A is shown to satisfy that A×B→B is closed for all α-discrete spatial locales B, while the closure property for all α-discrete locales B remains open.","https://schema.org",{"og:url":32,"og:type":75,"og:title":10,"og:site_name":45,"og:description":12},"article",{"robots":77,"canonical":32},"index,follow",{"doc_id":79,"site_id":7},203305,1788559575,{"code":4,"msg":82,"data":83},"success",[84,88,92,96,101,106,111,115,120,123,127],{"id":22,"doc_module":4,"doc_module_name":25,"category_name":85,"show_sort_weight":86,"slug":87},"Story & Novel",90,"story-novel",{"id":26,"doc_module":4,"doc_module_name":25,"category_name":89,"show_sort_weight":90,"slug":91},"Literature",80,"literature",{"id":33,"doc_module":4,"doc_module_name":25,"category_name":93,"show_sort_weight":94,"slug":95},"Exam",70,"exam",{"id":97,"doc_module":4,"doc_module_name":25,"category_name":98,"show_sort_weight":99,"slug":100},5,"Comic",60,"comic",{"id":102,"doc_module":4,"doc_module_name":25,"category_name":103,"show_sort_weight":104,"slug":105},6,"Technology",50,"technology",{"id":107,"doc_module":4,"doc_module_name":25,"category_name":108,"show_sort_weight":109,"slug":110},7,"Healthcare",40,"healthcare",{"id":112,"doc_module":4,"doc_module_name":25,"category_name":29,"show_sort_weight":113,"slug":114},8,30,"research-report",{"id":116,"doc_module":4,"doc_module_name":25,"category_name":117,"show_sort_weight":118,"slug":119},9,"Religion & Spirituality",20,"religion-spirituality",{"id":118,"doc_module":4,"doc_module_name":25,"category_name":121,"show_sort_weight":118,"slug":122},"World Cup","world-cup",{"id":124,"doc_module":4,"doc_module_name":25,"category_name":125,"show_sort_weight":124,"slug":126},10,"Lifestyle","lifestyle",{"id":128,"doc_module":4,"doc_module_name":25,"category_name":129,"show_sort_weight":97,"slug":130},19,"General","general",{"code":4,"msg":82,"data":132},{"doc_id":79,"user_id":133,"nickname":42,"user_avatar":134,"doc_module":4,"category_id":112,"category_name":29,"doc_title":10,"doc_description":12,"doc_content":135,"file_id":136,"file_url":137,"file_type":138,"file_size":139,"view_count":55,"is_deleted":4,"is_public":22,"is_downloadable":22,"audit_status":22,"page_count":140,"language":141,"language_code":8,"site_id":7,"html_lang":8,"table_of_contents":142,"faqs":143,"seo_title":144,"seo_description":12,"update_tm":80,"read_time":145,"preview_page_count":4},2336475104042,"https://ap-avatar.wpscdn.com/avatar/22000c4c32af1715be0?x-image-process=image/resize,m_fixed,w_180,h_180&k=1786537525561427321","CAHIERS DE  \nTOPOLOGIE ET GÉOMÉTRIE DIFFÉRENTIELLECATÉGORIQUES  \nA.PULTR  \nA.ToZZI  \nNotes on Kuratowski-Mrówka theorems  \nin point-free context  \nCahiers de topologie et géométrie différentielle catégoriques,tome  \n33,n1(1992),p.3-14  \n\u003Chttp://www.numdam.org/item?id=CTGDC_1992__33_1_3_0>  \nC Andrée C.Ehresmann et les auteurs,1992,tous droits réservés.  \nL'accès aux archives de la revue《Cahiers de topologie et géométriedifférentielle catégoriques 》implique I'accord avec les conditionsgénérales d'utilisation(http://www.numdam.org/conditions).Touteutilisation commerciale ou impression systématique est constitutived'une infraction pénale.Toute copie ou impression de ce fichierdoit contenir la présente mention de copyright.  \nNUMDAM  \nArticle numérisé dans le cadre du programmeNumérisation de documents anciens mathématiqueshttp://www.numdam.org/  \n# NOTES ON KURATOWsKI-MRÓWKA THEOREMS\n\nIN POINT-FREE CONTEXT  \nby A.PULTR¹and A.TOZzI¹  \nRésumé.Le fameux thóreme de Kuratowski-Mrówka dit qu'un espacetopologique X est compact si et seulement sila projection X×Y→Yest fermée pour tous les espaces Y.Nous démontrons le théoreme deKuratowski dans le domaine des locales.En particulier nous démontronsqu'un locale A est compact si et seulement sila projection A×B一→Best fermee pour tous les locales B.Pour un numbre cardinal infini α lerésultat que nous obtenons n'est pas si satisfaisant.Nous pouvons prouverseulement qu'un localeA est α-compact si et sculcment siA×B一→B estfermee pour tous les locales spatiaux α-discrets.  \n# Introduction\n\nThe famous Kuratowski theorem characterizes compact spaces X by thefact that for each Y the projection X×Y→Y is closed.Precisely,Ku-ratowski [7]proved that,in the realm of metric spaces,if X is compact thenthe projection πy is closed for any metric space Y,Bourbaki[1]proved thesame property in the category of Hausdorff spaces and Mrówka[9]established theconverse property so that a space X is compact iff the projection πy is closedfor any space Y.Similarly,by results of Noble[10],Vaughan [11]and Giuli[3],aspace X is α-compact([a,β]-compact)iff the projection πy:X×Y→Y isclosed for each α-discrete(α-discrete with character β)space Y.In this paperwe consider these phenomena in the pointfree context.  \nIn particular,we prove the Kuratowski theorem in the form that alocale A is compact iff the natural projection A×B→B is closed for eachlocale B.For general α the result we present is not so satisfactory:We are ableto prove only that a locale A is α-compact iff A×B→B is closed for allα-discrete spatial B.Thus,the question whether in this case A×B一→B isclosed for all α-discrete B remains open.Still,the result answers the questionwhether there is a class C(α)of locales such that the α-compactness is character-ized by the closedness of the projections A×B→B with B∈C(α).More-  \n# PULTR &TOZzI-ON KURATOwsKI-MRÓWKA THEOREMS...\n\nover,the negative part of the statement presented,namely that for an A whichis not α-compact there is a spatial a-discrete B such that A×B→B is notclosed,is in fact stronger that the respective part of the desired statement  \nFinally,we consider a”dual”of the Kuratowski's characterization,namelythe question as to which B have the property that the projections A×B→Bare closed for all A.In the classical context this characterizes the quasidiscretespaces,hence,in the regular case,the discrete spaces,not a very colourful class.Inthe pointfree context,however,this requirement characterizes the complete Booleanalgebras in among regular frames,which is perharps more interesting.  \nOnly basic knowledge of category theory(as e.g.in the introductory chaptersof [8])is assumed.All the necessary facts of pointfree topology are presented inSection 1.For more detail,the reader can consult,e.g.,[5].  \n## 1.Preliminaries\n\n1.1.Basic conventions:The cardinality of a set X will be indicatedas |X|.The identity mapping of a set (object)X onto itself will be denotedby idx or simply id.If pi:X₁×X₂→X;is a(categorial)product,t","cbCaivyiw1GmeAd2","https://ap.wps.com/l/cbCaivyiw1GmeAd2","pdf",759402,13,"English","# NOTES ON KURATOWSKI-MRÓWKA THEOREMS - IN POINT-FREE CONTEXT\n## Introduction\n## 1. Preliminaries\n### 1.1 Basic conventions\n### 1.2 Frames and locales\n### 1.3 Regularity\n### 1.4 Sublocales","[{\"question\":\"What does the Kuratowski-Mrówka theorem characterize in topology?\",\"answer\":\"It characterizes compact spaces X by the condition that for every space Y the projection X×Y→Y is closed.\"},{\"question\":\"How is compactness characterized for a locale in this paper?\",\"answer\":\"A locale A is compact iff the natural projection A×B→B is closed for every locale B.\"},{\"question\":\"What is proved in the paper for α-compactness when α is an infinite cardinal?\",\"answer\":\"An α-compact locale A is shown to satisfy that A×B→B is closed for all α-discrete spatial locales B, while the closure property for all α-discrete locales B remains open.\"}]","NOTES ON KURATOWSKI-MRÓWKA THEOREMS - IN POINT-FREE CONTEXT | PDF",33]