{"entities":{"Q6890722":{"pageid":20840866,"ns":120,"title":"Item:Q6890722","lastrevid":104073353,"modified":"2026-06-06T08:49:31Z","type":"item","id":"Q6890722","labels":{"en":{"language":"en","value":"On generalized Bourbaki theorem in the category \\((\\mathbb{S}, \\mathrm{Q})\\)-cat"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8130649"}},"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":"Q6890722$7E546F96-36E3-4F25-8FBB-9765A46CAF50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83885b2cc41db5bf7043684a4341fd78e4f0112b","datavalue":{"value":{"text":"On generalized Bourbaki theorem in the category \\((\\mathbb{S}, \\mathrm{Q})\\)-cat","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6890722$CEDD528F-38F4-4990-85E7-C7C8466AB3EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a754a8e0797b943a830a171de50fc6e7f274362a","datavalue":{"value":"10.22342/JIMS.V31I4.1959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6890722$121CA8B5-2960-405B-9D07-E245DDEA62F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f6e27fdbd1b8be1b77addbc932a98efb1f25f06","datavalue":{"value":{"entity-type":"item","numeric-id":6890721,"id":"Q6890721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6890722$B2D587DF-7689-4EB8-94BC-020643E3C5BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fbd50d08fec0a9e9bedec5d0f85159aa720af5a6","datavalue":{"value":{"entity-type":"item","numeric-id":2866517,"id":"Q2866517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6890722$9A71F66F-9E44-4381-B63C-1EDF6BC457F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0d7b765ce3e6f2b7cfacfce4547ac44e853c6fc","datavalue":{"value":{"time":"+2025-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6890722$08DFF8EA-5F18-46C9-90D0-F80D829DF289","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5c50bafde497e94163bae90e259dbbab138a79c3","datavalue":{"value":"\\par There exist the concepts of \\textit{proper} and \\textit{perfect} maps between topological spaces. Given a continuous map \\(f:X\\rightarrow Y\\), \\(f\\) is said to be \\textit{proper} provided that the product map \\(f\\times 1_Z:X\\times Z\\rightarrow Y\\times Z\\) is closed for every topological space \\(Z\\). Moreover, \\(f\\) is said to be \\textit{perfect} provided that it is closed, and the fibre \\(f^{-1}(y)\\) is compact for every \\(y\\in Y\\). In particular, Theorem~10.2.1 of~[\\textit{N. Bourbaki}, Elements of mathematics. General topology. Paris: Hermann \\& Cie.; Reading, Mass. etc.: Addison-Wesley Publishing Company (1966; Zbl 0145.19302)] showed that the above notions are equivalent. The result of N.~Bourbaki generalizes the famous Kuratowski-Mr\u00f3wka theorem, stating that for every topological space \\(X\\), the unique map to a singleton \\(X\\rightarrow 1\\) is perfect if and only if the map is proper~[\\textit{N. Bourbaki}, \u00c9l\u00e9ments de math\u00e9matique. Les structures fondamentales de l'analyse. 3. Topologie g\u00e9n\u00e9rale. 1. Structures topologiques. 2. Structures uniformes. Paris: Hermann \\& Cie (1940; Zbl 0026.43101); \\textit{C. Kuratowski}, Fundam. Math. 17, 249--272 (1931; Zbl 0003.10504); \\textit{S. Mr\u00f3wka}, Colloq. Math. 7, 19--22 (1959; Zbl 0093.36305)]. \\textit{M. M. Clementino} and \\textit{W. Tholen} [Theory Appl. Categ. 27, 327--346 (2012; Zbl 1275.18010)] extended the above results to the setting of \\textit{monoidal topology} of~[\\textit{D. Hofmann} (ed.) et al., Monoidal topology. A categorical approach to order, metric, and topology. Cambridge: Cambridge University Press (2014; Zbl 1297.18001)], which provides a convenient category-theoretic setting for doing topology based in a certain laxification of the category of Eilenberg-Moore algebras with respect to a monad, where the laxification in question relies on the concept of \\textit{quantale}~[\\textit{K. I. Rosenthal}, Quantales and their applications. Harlow: Longman Scientific \\& Technical; New York: John Wiley \\& Sons, Inc. (1990; Zbl 0703.06007)].\\N\\NIn their above paper, M.~M.~Clementino and W.~Tholen posed an open question related to a particular modification (or relaxation) of the conditions characterizing proper maps in terms of monoidal topology~(Item~(2) of Remark~6.2). The present paper concludes that the modifications in question are no longer equivalent to the concept of proper map. For convenience of the reader, the author starts with a very detailed recapitulation of the setting of monoidal topology (where this recapitulation takes the most of the paper), and then proceeds to the main results in Section~3.\\N\\NThe paper is sufficiently well written, meticulously provides virtually all of its required preliminaries (there is almost no need to look into the provided list of references), and will be of interest to all those researchers who study category-theoretic approaches to general topology.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6890722$2B266402-43F7-4B71-BE4A-38B132899F04","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7d067c039d76d8162114efbe354faa93c02c9fe2","datavalue":{"value":{"entity-type":"item","numeric-id":277551,"id":"Q277551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6890722$79D60D3F-6FE7-42D3-ACCF-787018D2F4BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da6bb9e4e82c31800f6eb5c65d9d41d5a31cc52a","datavalue":{"value":"54B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6890722$2B19BF37-DA85-49BE-802A-BC4EF7A39C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6890722$CD3107FD-A0DD-4591-AB2A-9AC27B0EDDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cefd0e10bad22754a568358b5238ae65a89a75b","datavalue":{"value":"18D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6890722$F2242442-B6F6-48F6-8214-13991E542EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"045858923c6c53fec7d40ee9640218b1e5f361bd","datavalue":{"value":"18F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6890722$7F73645F-A069-4CA7-A926-A2CA4D542486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4855ffe528958018e9ba9b63b2e149cc1f9d8a70","datavalue":{"value":"18F75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6890722$52C8687C-90A8-437F-A7BC-DABBCB731D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5f9f9fdc01eced40a1042148c42cf5fd19eced2","datavalue":{"value":"54C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6890722$0BE50EDC-5042-4703-A23F-F644A252D3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1afcde8f681fb95370dba30f2e660bfbd1183692","datavalue":{"value":"54D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6890722$217BCF6D-F5BB-436F-89D2-B027B47B5489","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2abc14a8b5ef8bfadaf0b8262314cc174aa17de6","datavalue":{"value":"8130649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6890722$14E521A0-4FA3-405B-BE68-D9BCA85D37CF","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6890722$A34ADC15-DC22-435E-9E80-A375F154C43B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"600ed1f58aaa5033a21c38fb4c7457e88703de14","datavalue":{"value":"Bourbaki theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6890722$99B04A2A-ED10-4845-BD52-5DA6EBAF2C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2df704031e3055940f60ad2d5975c723852b7da5","datavalue":{"value":"closed map","type":"string"},"datatype":"string"},"type":"statement","id":"Q6890722$10DD340D-6766-4C4E-9F1C-7A44B70ABF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b374f27160e4863a32af9e0f65cc720c58a36023","datavalue":{"value":"compact topological space","type":"string"},"datatype":"string"},"type":"statement","id":"Q6890722$0BB87874-1769-419A-852F-33693C88A4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f24c59644df179cb21b4d78eda05231c17cd1d55","datavalue":{"value":"Eilenberg-Moore algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6890722$B3005A4B-8485-444F-9165-01F1DFF4AD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1eb703677cf04307e7027c285c8a2aa83472f34","datavalue":{"value":"enriched category","type":"string"},"datatype":"string"},"type":"statement","id":"Q6890722$BF815F58-5854-4629-A6C0-7318BF0BC065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e65d8ce1b478dc8adf2ee5b9d1401b48f0fe5d2c","datavalue":{"value":"filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q6890722$765C9613-EBBA-48B0-9DA2-9B885AAB2DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19ca0457016de4e5044b896c03ac4f4be1bd98b4","datavalue":{"value":"Kuratowski-Mr\u00f3wka theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6890722$5A4FA678-F0E3-47FE-AC05-D44B85348A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd4ec0097909bd451b1e29488e485d18b549ca76","datavalue":{"value":"lax algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6890722$61F53490-39A9-4075-8CD0-57F1B9EE686C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q6890722$EE6944D4-BA73-4436-A369-0E5EAF3F5589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67ff38902a4e5625a1aa76ff1b7f99ab9819a30b","datavalue":{"value":"perfect map","type":"string"},"datatype":"string"},"type":"statement","id":"Q6890722$E02A7508-87A2-470F-8BE8-66B5FA8F4015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05702ff0895bf3bca4804e68b821b4f94b55662a","datavalue":{"value":"preordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q6890722$94080ADD-7B51-40A8-9EEC-3BA6DC4A12CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a1704a9f9b6159172922b9a0238c2a7c5b85676","datavalue":{"value":"proper map","type":"string"},"datatype":"string"},"type":"statement","id":"Q6890722$6A781D98-3DB9-4EBE-A29D-0DBCA2A80C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74201a07185bc50d351afc9ff709dbf7fb28925f","datavalue":{"value":"pullback","type":"string"},"datatype":"string"},"type":"statement","id":"Q6890722$3325CA15-BA8D-4D73-9AEE-D51A222EA4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0222d02c0c106fe26365ba380548e1fb6e23c8a9","datavalue":{"value":"relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6890722$66318EAF-4654-4A04-9C7C-E5F1D40B63BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"266de444ad78d8e616aef847fb5e6cca08340e30","datavalue":{"value":"topological space","type":"string"},"datatype":"string"},"type":"statement","id":"Q6890722$3CB00669-9320-40FB-8EAE-A9B1356FBC53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c07e461ea895d5e1f93a1913d4b00eb39ee936","datavalue":{"value":"ultrafilter","type":"string"},"datatype":"string"},"type":"statement","id":"Q6890722$60A8A0BB-3845-4C88-8377-3C4A16B77371","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":"Q6890722$C40ACFBE-9AA6-4703-99C2-C053208E60C0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"461e09c6e32527e9db41b384482aef4b9a7e5ece","datavalue":{"value":{"entity-type":"item","numeric-id":1430170,"id":"Q1430170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6890722$B3CE34B1-7C98-4212-B923-98789BDFF4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e8295bb49ed962fa07d19afccfc6d36f8cdab88","datavalue":{"value":{"entity-type":"item","numeric-id":1869194,"id":"Q1869194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6890722$F0C9AC3D-8A85-45B3-BFC0-41CD5845B2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26e9d5b09c9077ac14f2d521047a90b7b8faa03f","datavalue":{"value":{"entity-type":"item","numeric-id":2847349,"id":"Q2847349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6890722$A0412380-38DB-430B-8AE5-4D5D6B571A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aab45dbe9856493ba568b820973e7e6e773873e","datavalue":{"value":{"entity-type":"item","numeric-id":3053874,"id":"Q3053874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6890722$33504BD5-327A-4173-8F09-20D07D022E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cc0fb502893e8b897325a77792c3db05c1c5336","datavalue":{"value":{"entity-type":"item","numeric-id":2350312,"id":"Q2350312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6890722$3DB9C8DA-EE8C-4953-88B5-BD8A68DDF1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04708cf7c51a96ab22bb6a50a61706f389d755f0","datavalue":{"value":{"entity-type":"item","numeric-id":745720,"id":"Q745720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6890722$4E569BEC-3E53-4642-B7B8-2DF3C360D10C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"464773f7d78c6cae270c3cbba4da0ff9f83dfe91","datavalue":{"value":{"entity-type":"item","numeric-id":429335,"id":"Q429335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6890722$CA54FEE1-BC8C-48DA-A7DD-D707F4744CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac3ea4877fa3d236051ea9fb4971c03be055bcda","datavalue":{"value":{"entity-type":"item","numeric-id":4589359,"id":"Q4589359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6890722$3F04BCD0-7C9B-4258-BC5F-B1DF94736C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e3a39fb61f0924dafa93e6867cf628df6d133fe","datavalue":{"value":{"entity-type":"item","numeric-id":5108312,"id":"Q5108312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6890722$B4342FB6-3356-4E40-9A1D-5EDB3E3FEFD9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6890722","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6890722"}}}}}