{"entities":{"Q1318788":{"pageid":1329538,"ns":120,"title":"Item:Q1318788","lastrevid":67163031,"modified":"2026-04-12T15:43:13Z","type":"item","id":"Q1318788","labels":{"en":{"language":"en","value":"Proper maps of locales"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 540921"}},"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":"Q1318788$A7E78DEC-BD16-49DA-B1D1-4CBD07BD10E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f241d4d885a05f93e0a28a40432898350641d676","datavalue":{"value":{"text":"Proper maps of locales","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1318788$472A7EEC-89B6-487E-9B2C-451DEBAF2EB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ddcc269fa07e3f1af5bfc93b73d03c4d02c5e34d","datavalue":{"value":"0789.54019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318788$2149D288-616C-4517-A93B-E5B23B216123","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62a7da5c681d4bcc84f6d050b48963918f6b0025","datavalue":{"value":"10.1016/0022-4049(94)90047-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318788$59271645-C592-4C8A-948C-814BEE9133D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b59e069ac0680512de326fa6d232d65d6ac50cf0","datavalue":{"value":{"entity-type":"item","numeric-id":175568,"id":"Q175568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318788$B739F933-F9CE-43A9-9200-D04F4A321E01","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":"Q1318788$5DA8C019-5F0E-4556-A721-5375DC464D23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2eb4327a643e96182550341c5d2d3e1446617b8e","datavalue":{"value":{"time":"+1994-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1318788$4481EFA3-5EDF-4B43-AB04-32A2CB226BAA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9b0c46f6e49efe41c949007a598919eb1b45ced9","datavalue":{"value":"In a celebrated monograph [Mem. Am. Math. Soc. 309 (1984; Zbl 0541.18002)], \\textit{A. Joyal} and \\textit{M. Tierney} established a descent theory for open maps of locales. Their main tool for doing this was a careful analysis of the relationship between frames (the algebraic dual of locales) and complete join-semilattices: they showed that there was a useful analogy with the relationship between rings and modules, which enabled descent techniques from module theory to be brought to bear on the new situation. It was apparent from an early stage that there should be an analogous descent theory for proper maps, but (despite the efforts of several people, including the reviewer) there seemed to be considerable difficulty in establishing the basic theory of proper maps firmly enough to support this -- even the correct definition of properness for maps of locales was a matter of some doubt. In this beautiful paper, the author at last shows that all the ``sensible'' definitions of properness are equivalent, and that they do support a descent theory like that for proper maps. Moreover, he does this in a way which is formally ``dual'' to the Joyal-Tierney theory, by exploiting the relationship between frames and the preframes introduced by \\textit{B. Banaschewski} [Commentat. Math. Univ. Carol. 29, No. 4, 647-656 (1988; Zbl 0667.54009)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318788$7F578191-0EA5-4E30-B576-3B04BDC2EF60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5f9f9fdc01eced40a1042148c42cf5fd19eced2","datavalue":{"value":"54C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318788$9318854B-E83D-43AB-BA85-E6A0BD0D091A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a7c57a22810c1fc3e6e7843b0557275bc4a46fc","datavalue":{"value":"06B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318788$48D40B26-96E9-4DE0-8B3D-7521353D837C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a7eb06f78cf1bac52b186f12694848a795f3f40","datavalue":{"value":"18B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318788$1ADAB9A5-3FD9-4555-9EAE-3C8C262C146A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44c2f2292e3af3aa22face3324f654a1c22c9105","datavalue":{"value":"18F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318788$8493BC92-3021-465C-8977-73B16E47D87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318788$4DF8BB55-1F55-484F-A802-0F59B6748E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da6bb9e4e82c31800f6eb5c65d9d41d5a31cc52a","datavalue":{"value":"54B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318788$8313395E-F346-4315-9495-5985D968D7A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b48eee5be2c337d01f6004948164c2ef89a15eac","datavalue":{"value":"540921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318788$A2F226DF-30DD-49B8-9F97-A8F74AE6CF38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14f34eed909bc359581cb5f08cf69f237f3bc106","datavalue":{"value":"frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318788$D1D3B2A4-6FE2-4913-ADF1-6AB1EA3C685E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aebe4a34cfd7017538866401ee6712a2cf4fbe36","datavalue":{"value":"complete join-semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318788$865EF95F-2DFD-4579-A565-D424B38937B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0207a9beacdfc8107acc3c0fe7e10b9c60a55cfb","datavalue":{"value":"proper maps","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318788$6DAEE126-63CC-471E-A120-BBB2C00044D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f76e4c6e45d480748f23181265e5d12ca8d72d0","datavalue":{"value":"locales","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318788$6F05878D-5356-4F43-AD29-0FBD4969AA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e630836bd6c82c79221e5ccc0dea18c7d9b68e29","datavalue":{"value":"Joyal-Tierney theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318788$CC961200-F56A-4653-9BBC-7E6DDDC0A34E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9596d005c29801249c01b9d1288aea39b7db279d","datavalue":{"value":{"entity-type":"item","numeric-id":702196,"id":"Q702196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318788$62F30EA4-D506-47A0-B896-0DDDBECDEAFC","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":"Q1318788$F3659C94-519E-436A-8EF3-E5BFAB829C6B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85b090face91b6e6c2433f68c141a06f8a132d10","datavalue":{"value":"https://doi.org/10.1016/0022-4049(94)90047-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1318788$E8D37ECA-D73A-4605-AABD-BD6DADD06D04","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"733eea6b520aa57fe1699af8dd08a8b8e349d9e8","datavalue":{"value":"W2007945990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318788$422FC6E4-B649-46F1-A692-4F62A1EBE906","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":"Q1318788$4AF38D01-F32A-4CFC-A793-FB416E41E5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9391ef1a3c1b3e8110e40ae8bd97ee6a9f9c75f","datavalue":{"value":{"entity-type":"item","numeric-id":3819682,"id":"Q3819682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318788$034DE042-5A0F-4732-ABB7-E0706061053F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb1487200638e3f9441e8913bfd2f4d0995a3fb","datavalue":{"value":{"entity-type":"item","numeric-id":3677911,"id":"Q3677911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318788$83F0DDFD-4304-46F8-A65A-DE8509743A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd6c5533fbf546f681d3379df2558b016ad18ce0","datavalue":{"value":{"entity-type":"item","numeric-id":5514604,"id":"Q5514604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318788$FE584E05-88FA-46F2-BD0B-C1A44B2A4E04","rank":"normal"},{"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":"Q1318788$A6CBA420-2E69-4F7B-8A5A-5BE796499253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d439ef1a306681eb4ade60b3a39f9a709db364","datavalue":{"value":{"entity-type":"item","numeric-id":5658807,"id":"Q5658807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318788$4F00C191-66FE-4215-A6B2-D8A619540A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae56cbc30bf4e0ace39780e420d931108cdd0102","datavalue":{"value":{"entity-type":"item","numeric-id":4145861,"id":"Q4145861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318788$DDFF0D45-D2A8-4DC2-8D64-8FA32614C9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c8b67d7e012b689031a2c5ac1060c8aeef8694","datavalue":{"value":{"entity-type":"item","numeric-id":3901650,"id":"Q3901650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318788$DE32FA13-287F-4610-AA72-66167058F1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6523521db39f111c7ccfb7d14a87019dd5be09b8","datavalue":{"value":{"entity-type":"item","numeric-id":3969526,"id":"Q3969526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318788$D944886E-0BF2-4163-9255-622BAF5DB42A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d88769eedbb16571caefa699fd0710b447d3827","datavalue":{"value":{"entity-type":"item","numeric-id":3711309,"id":"Q3711309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318788$43C5988E-1C77-4CBA-A26C-F31AAB6045E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f2743ab786e36301842c89b6624854904ccbbd2","datavalue":{"value":{"entity-type":"item","numeric-id":3820598,"id":"Q3820598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318788$DF26977D-700A-45B8-A4C3-EBA518A84D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ad3f95524b6dac38c5347708a9cf5f58cdb5950","datavalue":{"value":{"entity-type":"item","numeric-id":3978977,"id":"Q3978977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318788$76A828B6-4D6C-4EDC-96A6-328B7BE18684","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":"Q1318788$10BFC8C8-91F7-410F-9B0D-7760313216AF","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":"Q1318788$3CF33B58-496B-49EC-A1F6-35087FF0396B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98ad92ae22b7b909a07d333122bc848b41117086","datavalue":{"value":{"entity-type":"item","numeric-id":4206922,"id":"Q4206922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318788$886AB320-9ADF-4A44-9172-EBD88D384F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64758ec36553108018cea48cc95e9595c5944c54","datavalue":{"value":{"entity-type":"item","numeric-id":3994048,"id":"Q3994048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318788$105E13D9-E3E7-4406-8C81-589848645B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a9ab3e424dc1140f0bff3f8859f77b1c4b111e0","datavalue":{"value":{"entity-type":"item","numeric-id":3978991,"id":"Q3978991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318788$5F93A9BE-F5AF-4C38-8ADB-D1F79A642F9D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66ebd46bf5ea3be1047cde8bad018ce1639fe47a","datavalue":{"value":{"entity-type":"item","numeric-id":4516344,"id":"Q4516344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f77a7fb9d56ae0b7510d91d8ffcda9d8fa566e96","datavalue":{"value":{"amount":"+0.8267867565155029","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":"Q1318788$6EE398F9-5EF6-4AFD-9154-15053F0AE02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3273612757824d9473aba5204ccf302d852d5fa","datavalue":{"value":{"entity-type":"item","numeric-id":4888143,"id":"Q4888143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f77a7fb9d56ae0b7510d91d8ffcda9d8fa566e96","datavalue":{"value":{"amount":"+0.8267867565155029","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":"Q1318788$23730819-FE9F-4E91-84D7-1E0736794299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"825d59305dc3685970e475b32db9cd9088abbc9b","datavalue":{"value":{"entity-type":"item","numeric-id":1434361,"id":"Q1434361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"553db10a357b9108b05c73c345442f789ca41a6d","datavalue":{"value":{"amount":"+0.7621607780456543","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":"Q1318788$E4E96C38-D641-4AE7-81FD-CEF9A1790A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad1f29689fa493c72ccfa68f1911d6c62f6926c4","datavalue":{"value":{"entity-type":"item","numeric-id":1325818,"id":"Q1325818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dbd1a82a9db3bd3636a5edcd8c9208deb08d361","datavalue":{"value":{"amount":"+0.758694589138031","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":"Q1318788$92D39D11-A44A-4BD8-9100-579C68167638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320bd82a52ba9de19deea6b98c2b30329b2c8464","datavalue":{"value":{"entity-type":"item","numeric-id":2575771,"id":"Q2575771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dbd1a82a9db3bd3636a5edcd8c9208deb08d361","datavalue":{"value":{"amount":"+0.758694589138031","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":"Q1318788$75B56CDB-2F91-4891-96C5-29F16F37425F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proper maps of locales","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proper_maps_of_locales"}}}}}