{"entities":{"Q1963980":{"pageid":1974722,"ns":120,"title":"Item:Q1963980","lastrevid":82109771,"modified":"2026-05-06T20:07:34Z","type":"item","id":"Q1963980","labels":{"en":{"language":"en","value":"Sheaf representation for topoi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1398612"}},"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":"Q1963980$5AB7DF54-FE86-45BC-A199-8EA885B6BDA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40c65346386c59f1692c7a853653d46ac9285553","datavalue":{"value":{"text":"Sheaf representation for topoi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1963980$5FFEC0A9-5BD2-49FF-9A50-DFF1B63C456B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82c20108ced04da5851fbdacf9e6bb8ec225f1f3","datavalue":{"value":"0944.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1963980$62C55587-121E-440A-9E04-91EB12FF19FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"deb0bd256c7ca04fa1611842bc31c7d0868060b3","datavalue":{"value":"10.1016/S0022-4049(98)00076-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1963980$3CFF6B45-3464-434D-A7E0-4AA00A5A5ADA","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":"Q1963980$9B1D3766-CDD2-4CB8-B277-62708DE4E72A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4d9916717d2b77c002542ea70b3a652323b0a04c","datavalue":{"value":{"time":"+2000-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1963980$ABA6339C-F2B3-4EA8-BE5D-9481F326E286","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9b327cc9267cc535246e0f1471f1e839c358a43f","datavalue":{"value":"A result of \\textit{J. Lambek} and \\textit{I. Moerdijk} [``Two sheaf representations for elementary toposes'', in: The L. E. J. Brower Centen. Symp., Stud. Logic Found. Math. 110, 275-295 (1982; Zbl 0511.03028)] states that every small topos is equivalent to the category of global sections of a sheaf of local topoi. The main interest of this theorem is that it is analogous to a well-known theorem due to \\textit{A. Grothendieck} that asserts that every commutative ring is isomorphic to the ring of global sections of a sheaf of local rings. Indeed, a topos is said to be local if the Heyting algebra of subobjects of the terminal object in it has a unique maximal ideal. Another way to express it is to say that a topos is local if the terminal object is indecomposable or, equivalently, if the theory it classifies has the ``disjunction property''. From the logical viewpoint, this corresponds to a completeness theorem of a limited sort. The present paper takes care also of the ``existence property'' by considering topoi, called ``hyperlocal'', in which the terminal object is (not only indecomposable but also) projective and proving a corresponding representation theorem. To prove that every topos is equivalent to the category of global sections of a sheaf of hyperlocal topoi, the sheaf in question arises most naturally as a Giraud stack. Part of the paper is then devoted to the technical question of turning a stack into a sheaf.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1963980$9E4F86CF-5568-4A9D-94D4-B695C1CB7B7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1963980$9A3755BC-C028-4836-8D70-6771A99C6B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1963980$0279C260-6046-40FC-9E34-474723A10983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1963980$9CEAD9EC-82F4-4974-A860-28ACF9525614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1963980$C4C21CD4-E458-443C-8602-15C5BB32A272","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1cacaae6f7c08ff972f5362298a0f8035095618d","datavalue":{"value":"1398612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1963980$1BDAEB1F-D9F1-4585-BFBC-71F7D6AF686C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"724942e2c0720c901fa3aebb4b6a1693353b98fe","datavalue":{"value":"sheaf representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1963980$9FA8F078-4542-488F-BE3D-6B9A6C7A29F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db9720f1b8832446739c8f4e19e30178aa5bad31","datavalue":{"value":"local topoi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1963980$1B649BDE-A263-4A11-8216-29335A8EB318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"554b0900e884a95eac3b2b57073a827a6b3cd976","datavalue":{"value":"stack","type":"string"},"datatype":"string"},"type":"statement","id":"Q1963980$CA9B2A79-315D-4009-9A5A-C84A6282254C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2009e276a9c17224dc798d13c148c747ba9f7376","datavalue":{"value":{"entity-type":"item","numeric-id":938240,"id":"Q938240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1963980$FC0F80A2-6168-4FA5-8F21-D78ADF249222","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6fdecc80f99fbf552230f8d3e11da972845bea63","datavalue":{"value":{"entity-type":"item","numeric-id":1250099,"id":"Q1250099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1963980$2F694FC2-EB26-4AAF-AFD0-512609976E96","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":"Q1963980$7E44DD65-5DF0-41D5-9A14-F0AB5092C5C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da2c5e41a63b14fbb83d36a33605611aeb1c267b","datavalue":{"value":"https://doi.org/10.1016/s0022-4049(98)00076-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1963980$AF213BA5-D040-4C2F-9D86-CE36C31F690C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"918c0a35327f6717f2fcab124b397d9ba3be21d8","datavalue":{"value":"W1994467436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1963980$DE5784AD-402B-4CA7-AF86-C90357659427","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"85fdcfd8ae160cfbf5f3a7cbf6ea9a6e784e6687","datavalue":{"value":"Q127124403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1963980$CE249811-C6FF-4901-8096-BEF8A6A20D6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22dcd1c154faa5391303ecf686d34071f6902961","datavalue":{"value":{"entity-type":"item","numeric-id":1208192,"id":"Q1208192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11386833d88ab260dab0b08b1a15104e89bf7af9","datavalue":{"value":{"amount":"+0.7525175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1963980$4671C9CC-B60F-4880-BD9D-A2098317B282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e2d2df7a268ebd21c0ff3ef2fba25cdd83361ec","datavalue":{"value":{"entity-type":"item","numeric-id":4856547,"id":"Q4856547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5603bfaef6297cd010df0d7e1f3c774a5e0b7ed","datavalue":{"value":{"amount":"+0.74968624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1963980$980DAF85-9E68-4D45-8F7E-A3E43852066D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffdc69ea97908a3dacc716381b2e6807b9d85e9a","datavalue":{"value":{"entity-type":"item","numeric-id":4205614,"id":"Q4205614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e83e40180d85842f1b6989e48fb40a054da9cf10","datavalue":{"value":{"amount":"+0.7275562","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1963980$B6C91FAE-DC0D-471F-B6B4-99F61779E234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c10cc5c87cb67f78f1b7d28c01f26f71500ddbee","datavalue":{"value":{"entity-type":"item","numeric-id":1653553,"id":"Q1653553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e799fbcd7bd3dbd36b1e74335f30db2980d99984","datavalue":{"value":{"amount":"+0.72753745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1963980$B7090888-D6CF-4A2E-A7A2-78F9AC4C65FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"893cd3da2e38a999945e8b5e9ceea644f9d531bc","datavalue":{"value":{"entity-type":"item","numeric-id":3356496,"id":"Q3356496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0136d0ec3451d99cfd8882f734f8e633a96823c5","datavalue":{"value":{"amount":"+0.72462213","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1963980$31FFD53A-09F7-4480-AF15-187D8D7B1CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8afe05c3605e0f8f405ee6f837c15b449b54562","datavalue":{"value":{"entity-type":"item","numeric-id":3765957,"id":"Q3765957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82552b01b07dc35a74c27e02f3be54627c1b1539","datavalue":{"value":{"amount":"+0.72259057","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1963980$9B588958-5400-4A8B-877E-06223496C5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f625f0be61d96e1c7e6c14d425cad12a5e7dd0a1","datavalue":{"value":{"entity-type":"item","numeric-id":3820775,"id":"Q3820775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"238f82933c015a1ec925afb5ee6b94083a74309f","datavalue":{"value":{"amount":"+0.7223116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1963980$422FB0FB-6AC5-44AF-A62B-DB1EAF97F544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bc488b877d650202685105925e5a657bd67e890","datavalue":{"value":{"entity-type":"item","numeric-id":581658,"id":"Q581658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0dcaaf17aa39b13b275d12f0ab32169fd6ad975","datavalue":{"value":{"amount":"+0.7101746","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1963980$2185CBF0-AD12-4BC8-BD5D-8DE74422A472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e15373479f9444778194fb88f9fa71dbf64f2056","datavalue":{"value":{"entity-type":"item","numeric-id":4582992,"id":"Q4582992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9388f6bb87f5c9328e7d40b3c732f6ce7d37615b","datavalue":{"value":{"amount":"+0.7082037","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1963980$B0107A41-6E6D-498B-AF7E-D7E4F4B2EF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"139b2c52e5edf25d9aa72f0a871f714f9f4c5065","datavalue":{"value":{"entity-type":"item","numeric-id":1910730,"id":"Q1910730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8673e6414421895b1da67d4880feb397b8e678f5","datavalue":{"value":{"amount":"+0.7055514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1963980$7A0762A7-BDB3-4B97-84AF-4445EFE9E5EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sheaf representation for topoi","badges":[]}}}}}