{"entities":{"Q1076015":{"pageid":1086767,"ns":120,"title":"Item:Q1076015","lastrevid":48935617,"modified":"2026-01-06T05:55:36Z","type":"item","id":"Q1076015","labels":{"en":{"language":"en","value":"Sheaves over Heyting lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3952756"}},"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":"Q1076015$56145CF2-E3C9-4CE1-B430-FFD21F58A7D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2f39eff08fee47dad56505bd565093e3632a060","datavalue":{"value":{"text":"Sheaves over Heyting lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1076015$867D05EE-8122-4556-B6B9-AEABE03D68CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab57b9a8f972efb0c4f52676d8e73cd99e798b58","datavalue":{"value":"0593.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076015$C2394822-09C4-46A4-9F17-57449329D219","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a369dfb32eb4e9fed9fa30f9097db1f377aae10","datavalue":{"value":"10.1007/BF00394444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076015$799EB083-EF65-4B4D-A976-7612B5C73B85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2949db2ec25056c03a0abf7d8eb0005ef0790b5c","datavalue":{"value":{"entity-type":"item","numeric-id":1072549,"id":"Q1072549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076015$F18FE1A8-3998-491D-853E-7257AAC94FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dc31f7372c2291af6dcc50b5a56a72bcaee2213","datavalue":{"value":{"entity-type":"item","numeric-id":1319365,"id":"Q1319365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076015$2DF220EA-C74D-4D95-897F-D688A35C0417","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076015$7B634807-8A87-42EF-A5C4-48A14833ED5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1076015$271F4474-2126-4731-9F54-245957431396","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d643546f5cec8f2cd15ccb6cb830c5edb3057a94","datavalue":{"value":"In this paper, a notion of \u00e9tale map (local homeomorphism) for locales is defined and it is shown that if L is a locale, the category ET(L), of \u00e9tale locales over L, is equivalent to the topos sh(L) of sheaves on L. The authors are not aware that this problem has previously been considered by \\textit{A. Carboni} and \\textit{G. Meloni} [Boll. Unione Mat. Ital., IV. Ser. 12, 192-197 (1975; Zbl 0359.06022)] and also by \\textit{G. van den Bossche} [Ann. Soc. Sci. Brux., Ser. I 91, 107-116 (1977; Zbl 0402.18010)]. The definition of \u00e9tale map in the latter is different from that in the article under review, however the two definitions can be seen to be equivalent. For a different approach to the notion of \u00e9taleness for locales, see \\textit{A. Joyal} and \\textit{M. Tierney} [Mem. Am. Math. Soc. 309, 71 p. (1984; Zbl 0541.18002)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076015$BAA1B907-BE97-4666-A32E-C8B32CDD1513","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076015$2897FEAB-7465-4BB5-99F3-C6B7B8F74ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076015$642B188C-78F8-4EE3-847D-2127215E8ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076015$F1A74469-9A49-426F-991D-5F696F99C3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076015$B0723ED8-40E9-4EFA-B91F-FC1DF6CB3F15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"103d70dd0d6adcaeee8e73ca48bde72e27f2d70d","datavalue":{"value":"3952756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076015$929B4952-0E99-4C61-8E51-7ACF0B88D590","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fbbe74ca27633f00df58cf000f0e2ca4732553c","datavalue":{"value":"\u00e9tale map","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076015$CB5576F4-2A64-42E5-8E4F-A2641D08584B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca14aac01f799f730ba1bd5d74d865fc18e548ed","datavalue":{"value":"local homeomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076015$B2FEA4B2-3D8D-4A91-9134-FC18F637EC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f76e4c6e45d480748f23181265e5d12ca8d72d0","datavalue":{"value":"locales","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076015$56737820-9017-4A14-9A8A-0893AF409D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"385ec5ee567d17bbd2e6c7af4270fade5c5f2e55","datavalue":{"value":"topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1076015$873A204B-7E8E-4BB8-9389-97A13C75F41F","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":"Q1076015$F346EFC3-9A21-4103-8CBE-514602931A6C","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":"Q1076015$32E703B1-5788-4B77-8DA0-8C0BDE79989F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1829d57a79fdec03bcb9e543ae58b9bda3fa26be","datavalue":{"value":{"entity-type":"item","numeric-id":3050433,"id":"Q3050433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076015$29A0E836-37F8-43D2-9FE2-3583187A6268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1076015$7E58B91C-152C-41B7-9B63-215297978D9F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04b92ca99d33ac0aec83f4d04bffa1a4a2a66223","datavalue":{"value":"https://doi.org/10.1007/bf00394444","type":"string"},"datatype":"url"},"type":"statement","id":"Q1076015$E59AA6A7-22D7-4AFB-B9D8-6D56D6BE3A28","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"05fb9d9d366004ec0aa2dd1e1339e7c3302a4a30","datavalue":{"value":"W2069624637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1076015$E9CEE65F-86D8-4862-9742-BB794F975CF4","rank":"normal"}],"P1643":[{"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":"62294b0ba7393c87efacbb01c8730379f6fe7b21","datavalue":{"value":{"amount":"+0.7961759567260742","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":"Q1076015$39DF92D5-257D-4426-BD8E-1D80C6742DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2f40a13cb2c90f73db8dab179cec1de5ae1186b","datavalue":{"value":{"entity-type":"item","numeric-id":1963980,"id":"Q1963980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28b8130daa0f95daed1d11c080cafd3e0d320783","datavalue":{"value":{"amount":"+0.7941494584083557","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":"Q1076015$C8F3C3A2-E633-4219-9C3E-8C9EDF72DD2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db8dccb468c79d02aa9fc62db452ade1ed6e118e","datavalue":{"value":{"entity-type":"item","numeric-id":4205464,"id":"Q4205464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b024ac6ee6cbf3312e55c0873bb9d76a66a4f5ec","datavalue":{"value":{"amount":"+0.7553247809410095","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":"Q1076015$91FD08A4-2167-41F3-9702-2271656F9C88","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":"f58a490ce9c779f3aba1a4a630a3277d8ff296a4","datavalue":{"value":{"amount":"+0.7372074127197266","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":"Q1076015$9B3144D8-067E-45F2-9C57-4C7DAAF5B289","rank":"normal"},{"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":"b0d3e6e87b12e32e2885faa5b38181d03c3f5446","datavalue":{"value":{"amount":"+0.7202988266944885","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":"Q1076015$F128DD01-990A-4EA9-8892-18A0B9EC0495","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1076015","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1076015"}}}}}