{"entities":{"Q2223372":{"pageid":2234115,"ns":120,"title":"Item:Q2223372","lastrevid":53920325,"modified":"2026-01-25T22:42:39Z","type":"item","id":"Q2223372","labels":{"en":{"language":"en","value":"The hyperconnected maps that are local"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7303216"}},"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":"Q2223372$689B4E36-611E-4866-BC1B-A41FB88C1ACB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"689e58ca61b7f9108ebbe1fc60fb13f6cba1b148","datavalue":{"value":{"text":"The hyperconnected maps that are local","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2223372$C1F1FC07-3949-4724-964A-8B046E03E983","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95f8f7e191f81ff44fd064d2b9a5b50199dd3d6c","datavalue":{"value":"1462.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2223372$E14E4DED-E3AE-4F2E-9AA0-25C6ECB7F780","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223372$05CEA032-D0F4-4DFE-BA76-0C2E57D40AAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5c5ccdc123d434cdc939d7175ce70845983b416e","datavalue":{"value":{"time":"+2021-01-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":"Q2223372$E0A783C2-B347-49F2-BEEB-B762CE083CA2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3c6e4a6e1bbd73e1db4ff7741616bee3b2c35508","datavalue":{"value":"The author contributes to the theory of axiomatic cohesion, that is the study of properties of a geometric morphism \\(p \\colon \\mathcal{E} \\to \\mathcal{S}\\) that are typical of \\(\\mathcal{E}\\) as a topos of spaces over the base topos \\(\\mathcal{S}.\\) Such a geometric morphism is called pre-cohesive if it is hyperconnected (the inverse image \\(p^*\\) is fully faithful and the counit of \\(p^* \\dashv p_* \\) is monic), essential (\\(p^*\\) has a further left adjoint \\(p_!\\)) with \\(p_!\\) preserving finite products, and local (the direct image \\(p_*\\) has a fully faithful right adjoint \\(p^!\\)).  In view of results in [\\textit{P.~T. Johnstone}, Theory Appl. Categ. 25, 51--63 (2011; Zbl 1239.18004)], the author concludes that if \\(p\\) is bounded, essential, hyperconnected with \\(p^*\\) cartesian closed, then \\(p\\) is pre-cohesive if and only if \\(p_*\\) preserves coequalizers. He naturally poses the question whether there are (unbounded) geometric morphisms which are essential, hyperconnected, with \\(p^*\\) cartesian closed and \\(p_*\\) preserving coequalizers, yet not pre-cohesive. The paper is devoted to answering this question in the negative. In particular, the main result (Corollary 6.1) shows that a hyperconnected \\(p\\) is local if and only if \\(p_*\\) preserves coequalizers. The answer is obtained via an analysis of interconnections between principal topologies on a topos (meaning topologies \\(j\\) such that each object has a minimal \\(j\\)-dense subobject), the mono-coreflective subcategories of a topos \\(\\mathcal{E}\\) associated with such topologies and the idempotent comonads induced by such subcategories.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2223372$510CBA56-1BCF-4EEE-AF9A-5F80D6BCA576","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"38f55c3e3d88463e0567aed375413525c396fe11","datavalue":{"value":{"entity-type":"item","numeric-id":456879,"id":"Q456879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223372$FC6F31B5-D08B-49D4-AC17-2651A6284396","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"44c2f2292e3af3aa22face3324f654a1c22c9105","datavalue":{"value":"18F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2223372$08FEF708-681C-4EF7-ADC9-25067E94E593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0ee7ce317264382861edb63c533e11ee885fc54","datavalue":{"value":"18F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2223372$D17F62BE-3790-4699-B84C-99FEA91DFB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09e3f6f9f4515e501bb92fb9409bdfc9c697dd7b","datavalue":{"value":"14A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2223372$7E1AB51A-53DE-46AE-A3FB-91DCBBBC9CA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06e75b3dfb3f032015dee9d3078fe9b74deaa96c","datavalue":{"value":"7303216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2223372$2C33E059-64AD-42D4-8C94-34CA27901BD5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78a24a4b90e5e66d7a3677284fbf20e305dc7453","datavalue":{"value":"axiomatic cohesion, hyperconnected geometric morphism, local geometric morphism, principal topologies, idempotent comonads","type":"string"},"datatype":"string"},"type":"statement","id":"Q2223372$5C2121CE-A196-46F1-8A9E-5D5C39CB5EB9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2181639e68655c9a9788ec61fbe0b6ef658dd800","datavalue":{"value":"Q112120964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2223372$858CCC3C-6702-4AFB-B05E-CD1C6EDE0F6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab32c1f90131ab1a3fd8f83a8169013b996be532","datavalue":{"value":{"entity-type":"item","numeric-id":1681851,"id":"Q1681851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223372$3858BD7C-0DB3-412F-ACA3-9E0683C269A2","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":"Q2223372$9B06D173-C21D-4BD7-A4D7-C2CD047744CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f1f6f7cd7ed697cc36887da433cdfaf5c3bebc6","datavalue":{"value":"https://doi.org/10.1016/j.jpaa.2020.106596","type":"string"},"datatype":"url"},"type":"statement","id":"Q2223372$4392857A-46AC-4EF8-A0BA-F41102591B95","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"484537bbd6c6dd5a78fe4ca1e2a5d10ef5fee630","datavalue":{"value":"W3091865929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2223372$EA18D203-EB94-4374-A6C9-15E184321969","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e72cc0eb0d8c8175b90edc300a30a8263d9c7bce","datavalue":{"value":{"entity-type":"item","numeric-id":1861481,"id":"Q1861481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223372$274CA564-987A-4233-8B0C-29CD37ABEDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba26e21967cff67d33fc2dc6b5aab99b8103a58","datavalue":{"value":{"entity-type":"item","numeric-id":4304740,"id":"Q4304740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223372$CF2D561B-8647-42C2-B316-F90D8E80B459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92be1aaf19dc1a1687724e4de0f324f279263aca","datavalue":{"value":{"entity-type":"item","numeric-id":2551456,"id":"Q2551456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223372$A05D68C2-7DAA-4B90-86ED-D1F0EF48C16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2db17efd16c8717bab9b4ea614147bc8e710a68","datavalue":{"value":{"entity-type":"item","numeric-id":3220729,"id":"Q3220729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223372$37BDAF97-B69C-49BC-867F-37ABD7E1D673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223372$6B1817BD-AE9A-4B70-AC0A-5DF4F8BE874A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b54be1691ab91b0df8d663c588e2ee644b1749a","datavalue":{"value":{"entity-type":"item","numeric-id":5200292,"id":"Q5200292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223372$50EA8590-02F4-4344-8A04-E47394430458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9af4e4e9a2d8e2c04da410e68a08a9b6674fac6","datavalue":{"value":{"entity-type":"item","numeric-id":1932147,"id":"Q1932147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223372$AB1254BA-65E5-4D1C-81A9-86734FE61FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37a6ffe9d5ff0d3327ac24bd09efcc7b982a7944","datavalue":{"value":{"entity-type":"item","numeric-id":3820775,"id":"Q3820775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223372$5664B746-8FC8-4378-82D3-31271CBF8553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7aad1cf745b223af0efb7f10676bd0fbf250401","datavalue":{"value":{"entity-type":"item","numeric-id":4204315,"id":"Q4204315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223372$C9798041-F220-471D-B72D-EDA3632E9C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd5696c7613fd0217638ff5ef0c0f8f5bcdb523b","datavalue":{"value":{"entity-type":"item","numeric-id":3978964,"id":"Q3978964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223372$99E162FC-824F-4ADA-B4F2-FD035FD07433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6cbc9c4b191cb2e81896cdb74a5a9c41bfbac29","datavalue":{"value":{"entity-type":"item","numeric-id":5960415,"id":"Q5960415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223372$D1E3AE7B-C9B1-446D-B066-6C3B283AA012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b70ec7e25259dfe0f24fc73b23b0ff5b77e43e69","datavalue":{"value":{"entity-type":"item","numeric-id":4679163,"id":"Q4679163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223372$0FD322F2-D773-417E-A033-D4FC987D905B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d178d1ba2022d553a813b148d72e5afb65344b8","datavalue":{"value":{"entity-type":"item","numeric-id":5298124,"id":"Q5298124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223372$7BB2091F-D2F2-4840-9257-5E0F9DBDFA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f6584600d6c644ddff645bcb0cd0b5f9114ac1f","datavalue":{"value":{"entity-type":"item","numeric-id":5261938,"id":"Q5261938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223372$F6493A50-D2AE-46C4-A38D-BD7922D5329D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223372$4199FA17-E3F6-4EDA-939C-738A6DF6D539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79bdd4147aba32f118d4fe937ead838b07b3a26f","datavalue":{"value":{"entity-type":"item","numeric-id":1683374,"id":"Q1683374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223372$43709E8E-9FF2-4880-AE27-3C280716BF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92dcb15abf4c18cc97172672bc5d7c06bcb0f160","datavalue":{"value":{"entity-type":"item","numeric-id":4647119,"id":"Q4647119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223372$D75C1541-5BCA-44D3-81C0-76980EEEAB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ee493b168cda004e44502276d83aa15f8bd73ac","datavalue":{"value":{"entity-type":"item","numeric-id":5233741,"id":"Q5233741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2223372$25509642-0FF8-46C3-B59D-B5643137DC69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"984f8539607f9fff49f935c0adb66c221bcbfabe","datavalue":{"value":"10.1016/J.JPAA.2020.106596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2223372$C850CAC9-B773-4AA1-8635-C8A859CB84A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc97605b31b8363a4e8f8205305d63760d0df0f0","datavalue":{"value":{"entity-type":"item","numeric-id":2674403,"id":"Q2674403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ce6f5ea7655ab7ab9e27d8f47a4d47794bd52ab","datavalue":{"value":{"amount":"+0.7783055305480957","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":"Q2223372$94943612-DF9F-4C05-A890-2D3D6B9E3471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a2e5b3f4911a9d4de25bf6efd33b9a37888fec0","datavalue":{"value":{"entity-type":"item","numeric-id":2363407,"id":"Q2363407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8cf1090c9f50c0d1fed95ae5b393c2d2ac246b4","datavalue":{"value":{"amount":"+0.7617304921150208","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":"Q2223372$35C25111-9981-48C4-B5DB-000B7CFCE0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd56a38d445ec29a48634075de16d07535e54516","datavalue":{"value":{"entity-type":"item","numeric-id":2046251,"id":"Q2046251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c90533afcd8d4a619127ef29834a2abcc7379630","datavalue":{"value":{"amount":"+0.7490967512130737","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":"Q2223372$C0C448C4-1F1E-493C-A019-94A508C97248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"598b5f95698ee8738b983e28143a8c6175ef3e18","datavalue":{"value":{"entity-type":"item","numeric-id":2927669,"id":"Q2927669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c527051a6decbb5d3690af8c3bccfd50172c8ac","datavalue":{"value":{"amount":"+0.7480558753013611","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":"Q2223372$AF1C5B73-5D4E-4C32-8F75-B0EE37CA4E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1621b88923737b5ddb163a0d68237d360adbde41","datavalue":{"value":{"entity-type":"item","numeric-id":1683374,"id":"Q1683374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be9443f0c05d00d653f4dd1b7a23288c6db88284","datavalue":{"value":{"amount":"+0.7368547916412354","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":"Q2223372$20A16A12-DD4D-4C69-80F9-54F6421BBB65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2223372","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2223372"}}}}}