{"entities":{"Q2839880":{"pageid":2850600,"ns":120,"title":"Item:Q2839880","lastrevid":51773513,"modified":"2026-01-19T23:20:44Z","type":"item","id":"Q2839880","labels":{"en":{"language":"en","value":"Round squares in the category of frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6188000"}},"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":"Q2839880$FC0A8022-6B1D-4425-96DD-7337F79D1D64","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0343aeff43117e14fcd579201ab10873b69b400","datavalue":{"value":"1284.06018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2839880$1816981E-65E8-4447-B79B-D03E655ED9BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ef53ce142111456381c0506b6f18a5132db05f3","datavalue":{"value":{"entity-type":"item","numeric-id":248778,"id":"Q248778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839880$6FD80695-34BA-4720-AD79-165DE86270F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8b008dbcaa0d5948bb669261416893167184285","datavalue":{"value":{"entity-type":"item","numeric-id":386868,"id":"Q386868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839880$2EFE6882-EA03-4EA3-B588-D8AF54BCEDA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fbea3a208f631d64ab3ea326551e1bc7abb73b5b","datavalue":{"value":{"time":"+2013-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2839880$BBFEED55-7A21-4ABF-811E-363B214DAA66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2839880$E262C139-5D97-4013-9516-D0CC94B2EB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32aa222f852df3f290ecea7c464ed5857992bf22","datavalue":{"value":"18A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2839880$692E2B2B-E2D8-4D43-8643-66F1C7C94875","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd749084cce89bd9f570b8433aaf0196c585032f","datavalue":{"value":"6188000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2839880$5002E778-8376-4B87-A25D-2001F8869B67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3829b79408d0e34cc0fa053f7fc4e40d313ffdb5","datavalue":{"value":"frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q2839880$019FAE28-745C-4B35-AAD4-402EA840E8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f0d9d1fb2462ec2e412f98efcce9b5f9252826b","datavalue":{"value":"frame homomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2839880$19C1A30F-7F94-4C54-B74A-80494BB193DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a76db147a68000047efef140979b907a4e682898","datavalue":{"value":"round square","type":"string"},"datatype":"string"},"type":"statement","id":"Q2839880$9BE9BF72-79CD-4B88-8418-919984DF5970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f650c9d7d62d6b4fb8e09023d1aebaca6492469","datavalue":{"value":"mono-functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q2839880$39847D88-41E7-4253-B09E-DB3B29C507E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f30d1c0b3503eb6d3166ea6e918f5b46d5fd9d51","datavalue":{"value":"compact frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q2839880$F4459B27-74C5-4E20-BDA9-EC2E4AAB9315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46b41320a32e0158b38d3505d59fb05b65bb00de","datavalue":{"value":"\\(\\beta\\)-map","type":"string"},"datatype":"string"},"type":"statement","id":"Q2839880$DC892DB8-A723-43F2-8F5D-A033809DE19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d476606190e1d994923217c5a2b17c6eb247c795","datavalue":{"value":"\\(\\lambda\\)-map","type":"string"},"datatype":"string"},"type":"statement","id":"Q2839880$8799A89E-74DC-4B6E-B313-7920FBFB1EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cac6de34478b83a2ca0591c7e4d7e552441cd25d","datavalue":{"value":"\\(\\upsilon\\)-map","type":"string"},"datatype":"string"},"type":"statement","id":"Q2839880$CCDB9042-4895-4D25-8915-E9DD0E6B4764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff70c100851bc7d8a02cd6d40160a6cc430747b5","datavalue":{"value":"strong nearness frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q2839880$F9A11D88-A680-455A-9C3C-C647DD933712","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":"Q2839880$2A157968-ABB1-4ACA-B585-CE60946EF1EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2627c045bb4f20b3a36f83636bf7c03172afa7aa","datavalue":{"value":{"text":"Round squares in the category of frames","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2839880$0F0B245F-416C-42D4-BA91-4F3EF1B25986","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ff13492d09c80c19f4228cc55f69e63742454364","datavalue":{"value":{"entity-type":"item","numeric-id":6551723,"id":"Q6551723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839880$4C713314-E068-49C3-9B8C-44F7D1F04850","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"726351f8fc496f0faa4e2717af7af59df91af9fe","datavalue":{"value":"A commutative square \\(\\mathfrak{b}\\cdot h=g\\cdot \\mathfrak{a}\\) in the category \\textbf{Frm} of frames and their homomorphisms is called \\textit{round} if replacing \\(\\mathfrak{a}, \\mathfrak{b}\\) with their right adjoints \\(\\mathfrak{a}_*, \\mathfrak{b}_*\\) yields a commutative diagram (that is, \\(h\\cdot \\mathfrak{a}_*=\\mathfrak{b}_*\\cdot g\\)), albeit not necessarily in \\textbf{Frm}.NEWLINENEWLINEAfter introducing and studying round squares in \\textbf{Frm}, the authors consider several examples of round squares and present interesting characterizations of several variants of compact frames (namely, compact, Lindel\u00f6f, realcompact and paracompact frames) in terms of round squares. These characterizations are unified with the following general result for \\(\\gamma\\)-compact frames (for any strong mono-functor \\(\\gamma\\) in the category of completely regular frames):NEWLINENEWLINEA frame \\(L\\) is \\(\\gamma\\)-compact, i.e., \\(\\gamma_L: \\gamma L\\to L\\) is an isomorphism, if and only if for every frame homomorphism \\(h: M\\to L\\), the square \\(\\gamma_L\\cdot \\gamma(h)=h\\cdot \\gamma_M\\) is round.NEWLINENEWLINEThey also characterize complete strong nearness frames in terms of round squares: a strong nearness frame \\(L\\) is complete if and only if for every uniform homomorphism \\(h: M\\to L\\) out of a strong nearness frame, the square \\(\\gamma_L\\cdot C(h)=h\\cdot \\gamma_M\\) (where \\(C(h)\\) denotes the lift of \\(h\\) to the completions of \\(M\\) and \\(L\\)) is round.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2839880$7EBA35EF-2910-408B-9534-4266513EB441","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4b7a94eb553ebb471d21cd9342e2b92f55c9f564","datavalue":{"value":{"entity-type":"item","numeric-id":283254,"id":"Q283254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839880$647DD53D-863F-49D1-AD2F-5E5F20091522","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39d7b962cf8e03a7a74ba5b8391251d0c26a0002","datavalue":{"value":{"entity-type":"item","numeric-id":2475110,"id":"Q2475110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54f07ae27a6df9e81c1ded63cf512d1fed530150","datavalue":{"value":{"amount":"+0.7602598667144775","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":"Q2839880$CD849359-4A46-4BBA-8118-98D2531B3A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62d843667c2841ab64c7c922d304dddb52b45d41","datavalue":{"value":{"entity-type":"item","numeric-id":1883995,"id":"Q1883995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cecb36097ba4b30f08c74405d6c708eab6997614","datavalue":{"value":{"amount":"+0.7593784332275391","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":"Q2839880$D571B28A-9638-4DEA-8770-30E4D930CC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f327b4d36d04e364bda08ea2e308c3fc9844f9fd","datavalue":{"value":{"entity-type":"item","numeric-id":2447127,"id":"Q2447127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5f3ad8fbe87d03f4b1fb53bdcdd962e8f1e23ba","datavalue":{"value":{"amount":"+0.7540728449821472","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":"Q2839880$ED2F3BF6-E3B5-4AB9-973C-35EF61B87346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aa25bbe05fa806a1e60aa95d0e40f386a6283c8","datavalue":{"value":{"entity-type":"item","numeric-id":2764183,"id":"Q2764183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3c04c452374e2efe9a711c9c50b78fca34fe2ff","datavalue":{"value":{"amount":"+0.7481500506401062","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":"Q2839880$2A3FF2FA-1EDC-4AA4-94DC-EEC31B22350E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dadde9cddad0ed68178b6da4197e6ed332f5fe7","datavalue":{"value":{"entity-type":"item","numeric-id":4236492,"id":"Q4236492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3c04c452374e2efe9a711c9c50b78fca34fe2ff","datavalue":{"value":{"amount":"+0.7481500506401062","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":"Q2839880$D42FE4EB-080F-4089-970C-6C7BDAF6D388","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2839880","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2839880"}}}}}