{"entities":{"Q1208192":{"pageid":1218941,"ns":120,"title":"Item:Q1208192","lastrevid":66352239,"modified":"2026-04-12T09:31:20Z","type":"item","id":"Q1208192","labels":{"en":{"language":"en","value":"Every \u00e9tendue comes from a local equivalence relation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 166141"}},"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":"Q1208192$33FA9C57-E977-4720-8F5B-AA9EEC23ED84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"218fff2d8fb61fd17d3625c9a8a9cf4467432bbc","datavalue":{"value":{"text":"Every \u00e9tendue comes from a local equivalence relation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1208192$4E4E7BC1-FA58-4762-9FD6-F494B4350998","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4ac6ddb24ed74ee30d657daf53c58216056c7d0","datavalue":{"value":"0779.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208192$7F39659F-EEA4-4F56-8B8F-26CF108E37AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5869ace5ca76ebf4702e94b51bb0ea98863cbe8d","datavalue":{"value":"10.1016/0022-4049(92)90118-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208192$EBB143B4-C3AF-41CE-B036-D844A78E4573","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d4b52cbc985d8209ac20b19f54b132531f578d3","datavalue":{"value":{"entity-type":"item","numeric-id":638551,"id":"Q638551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208192$3CDB5E4A-7E63-4AB2-BC78-BBC77A5C1327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d27f35d8b8d36daa01c278530444ad70355c66c","datavalue":{"value":{"entity-type":"item","numeric-id":169786,"id":"Q169786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208192$D8674274-D2E8-46A0-9DE8-D09604E6B8CA","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":"Q1208192$0E209DF7-A7D7-4BEF-BAD0-47C30F1F60C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1208192$9E350468-F932-4795-B14A-F1F39DE92ED1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b3583c0f50e9ec0b07b9e79ba920d82d4b72064c","datavalue":{"value":"A topos \\({\\mathcal E}\\) is an \u00e9tendue iff there is an object \\(U\\) in \\({\\mathcal E}\\) covering the terminal object such that the topos \\({\\mathcal E}/U\\) is a localic topos, in other words equivalent to a topos of sheaves on a locale. By an equivalence relation on a locale \\(L\\) one means a sublocale \\(R\\subseteq L\\times L\\) satisfying the expected properties of reflexivity, symmetry and transitivity, together with the requirement that the projections \\(R\\to L\\) are both open maps of locales. The equivalence relations on \\(L\\) form a sheaf and a global section of this sheaf is referred to as a local equivalence relation. Given such a local equivalence relation \\(r\\), there is the notion of an \\(r\\)-sheaf and one obtains a category \\(\\text{sh}(L,r)\\) of \\(r\\)-sheaves on \\(L\\). If \\(r\\) is a locally simply connected local equivalence relation, then \\(\\text{sh}(L,r)\\) is an \u00e9tendue and moreover there is the main result of the article, namely that every \u00e9tendue \\({\\mathcal E}\\) is equivalent to a topos of the form \\(\\text{sh}(L,r)\\), where \\(r\\) is locally simply connected.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208192$6A585BF9-C945-4B2A-9FE8-E6D976E6B652","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"39b02d015f14d620a5308a1f38b65d3e56d13be9","datavalue":{"value":{"entity-type":"item","numeric-id":1057893,"id":"Q1057893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208192$0E5241A8-4121-4D8E-A101-342A8CD77E0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208192$B2E6A16F-6343-4DA4-87D8-E84C133ABF43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70992517cbf0bf1831ba960d264bbbe0e06342a1","datavalue":{"value":"166141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208192$FCFE7B90-3782-4A91-9F9B-063D67C25E40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7e5a469fbfa640a96eea496789b21fcfbaba855","datavalue":{"value":"\u00e9tendue","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208192$D7C83F66-124D-45E0-B00A-3C66D25221E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a883919c9eefa049c61cd6a96ba0d0be750e3e88","datavalue":{"value":"localic topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208192$B5474F57-6AEC-4DE1-8DB8-9B1722676973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b35abebe8229d2c5e606ff5032850459ef52db1e","datavalue":{"value":"topos of sheaves on a locale","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208192$5F0D7A09-DD0E-435E-8A1E-E48CAD42220E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2639fab3b4d9dd7b6d64860341a15e1852089284","datavalue":{"value":"global section","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208192$E66E1306-D697-4B83-8A3A-4E03BB7DC9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"192ee5055aebc3ede017aa09a59f5c1113c6159e","datavalue":{"value":"local equivalence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208192$84B1D121-DA64-478B-8F9E-F3A2B6E0CE7C","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":"Q1208192$7A49AA55-5B1F-4908-8080-AD8F9D3241D6","rank":"normal"}],"P223":[{"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":"Q1208192$1767E106-3E2D-45A4-A2CF-C5439DF41E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9804d92f6149f21a700c6190a20112dc10a7abe4","datavalue":{"value":{"entity-type":"item","numeric-id":1137631,"id":"Q1137631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208192$B9783519-240C-42EA-BA6F-C6C55E5EA59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dbd2b7aceb2e246825ba8ba72ab045ff65cbb9f","datavalue":{"value":{"entity-type":"item","numeric-id":3926769,"id":"Q3926769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208192$121209D8-C996-4CE9-B903-E43A8EDB1318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbbe31d48295757074b165aba57e6bd2e90ca6d4","datavalue":{"value":{"entity-type":"item","numeric-id":1140706,"id":"Q1140706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208192$4B699DD1-D56C-4C0C-A957-DD79FBE8B132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03afdf275ccfd5f11cb597005a9be741183e0c58","datavalue":{"value":{"entity-type":"item","numeric-id":5580926,"id":"Q5580926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208192$242F7BF5-B00A-4FE7-8C11-FF5E3C5BD63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12aec90b30d21726e42c14ededa838e9a126d2f5","datavalue":{"value":{"entity-type":"item","numeric-id":1813668,"id":"Q1813668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208192$A819E9A9-0A4B-469B-B189-6AA66D7BD8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7adacb27200b6d178ce5dd4b2a932eaf86fae58b","datavalue":{"value":{"entity-type":"item","numeric-id":3328711,"id":"Q3328711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208192$2150F26B-F38B-4D2A-AAD8-36F85B51A12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec0b18c628a097ddb5a736361c6a12268c7b65ed","datavalue":{"value":{"entity-type":"item","numeric-id":4205615,"id":"Q4205615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208192$CAB20218-C9EF-4CD7-9274-86331193559C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c59706a490431d7eda174f994143abdf2150f089","datavalue":{"value":{"entity-type":"item","numeric-id":3986545,"id":"Q3986545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208192$99F36EBF-586C-493F-8511-A8F1E96F74F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62ea688a4990250586d6520c90b4cd1e238cf4a9","datavalue":{"value":{"entity-type":"item","numeric-id":1924663,"id":"Q1924663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208192$41D3628D-4AD0-4EFE-8BF1-DBCB570FA199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17ee0fcef59fce8c47740626601570182cd685cc","datavalue":{"value":{"entity-type":"item","numeric-id":2841498,"id":"Q2841498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208192$19F90E80-018E-4722-A7D7-86DC0B4B1F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fa13d919da27fb872a632dc1885a4ff8df1ff85","datavalue":{"value":{"entity-type":"item","numeric-id":2266115,"id":"Q2266115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208192$6146537A-F66F-42B5-8FD7-6822DE664854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"148e8b160ebf9a401a40e126f9e36f28c507d224","datavalue":{"value":{"entity-type":"item","numeric-id":3792909,"id":"Q3792909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208192$78870111-864F-4759-A06C-20D2364F96D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ffcdacf8af18ca23924fd482f84cb7c9e88ffa1","datavalue":{"value":{"entity-type":"item","numeric-id":3487618,"id":"Q3487618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208192$E7691098-865C-489E-9CA6-B20D0E124AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b07b91d9a263175c8da12b7c8367ffdda26ed0e3","datavalue":{"value":{"entity-type":"item","numeric-id":5185230,"id":"Q5185230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208192$A2521EBA-9CCF-4D0A-9E0B-E6F9396E4FD2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd122d5436f2d22cdb31ec91377f941bf8e20a6d","datavalue":{"value":{"entity-type":"item","numeric-id":3986545,"id":"Q3986545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0646fd8e7b898313de40a8219dac016f1feb4d0d","datavalue":{"value":{"amount":"+0.8116725087165833","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":"Q1208192$4027EB38-55EE-42C3-9D07-800CB895CAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c54f604275741c8f3c9f0a9484f35dac4b42efa2","datavalue":{"value":{"entity-type":"item","numeric-id":1924663,"id":"Q1924663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12cf64e8d7da522082466791ea20bb12df82b58e","datavalue":{"value":{"amount":"+0.8095393776893616","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":"Q1208192$F0D422C4-100E-4B07-AEB7-27DB5C3E6F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9917e5cd76ea9258d73f60efe93fe4ebae9db689","datavalue":{"value":{"entity-type":"item","numeric-id":5185230,"id":"Q5185230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"650d840df7aaa899cc5451a0432193664f1da71f","datavalue":{"value":{"amount":"+0.8077086806297302","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":"Q1208192$8C41C072-60E8-464B-9993-F1039AEB31A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aed7586eda745d793414ddb7aff43941692a0f17","datavalue":{"value":{"entity-type":"item","numeric-id":4323119,"id":"Q4323119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bab5a6d052931c4817c426913cdcd8b5569aba5","datavalue":{"value":{"amount":"+0.7584003806114197","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":"Q1208192$AD227B98-06CB-4085-B339-36129F0AB49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b851e0ed2e2d66f3be9f087066abe0f956248942","datavalue":{"value":{"entity-type":"item","numeric-id":3197989,"id":"Q3197989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ff35efaa9c324878bad7bf73825de173f98aea6","datavalue":{"value":{"amount":"+0.7532963752746582","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":"Q1208192$03BF9529-22BD-42E2-A9ED-240263012475","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Every \u00e9tendue comes from a local equivalence relation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Every_%C3%A9tendue_comes_from_a_local_equivalence_relation"}}}}}