{"entities":{"Q6594011":{"pageid":14205168,"ns":120,"title":"Item:Q6594011","lastrevid":95878490,"modified":"2026-06-05T09:56:21Z","type":"item","id":"Q6594011","labels":{"en":{"language":"en","value":"The points and localisations of the topos of \\(M\\)-sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7902539"}},"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":"Q6594011$C7E49332-FB75-44E5-AD18-6E5A464F33A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c3f17b8c6fcc47da218a63765c8272300b22b3f","datavalue":{"value":{"text":"The points and localisations of the topos of \\(M\\)-sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6594011$404CF65C-A4F9-4417-BFB6-D311B58758F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0edf5de0af51d19b7167058192c505f398647d9","datavalue":{"value":"1548.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6594011$B7258A9A-2926-493A-ACA4-0FF01CD54280","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cf61d39b953896d064e8dede7d309540e779a15","datavalue":{"value":{"entity-type":"item","numeric-id":741653,"id":"Q741653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594011$5EEDCA4B-49B4-4137-9AC1-6AA0B05D4195","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d32ecd8b996826005490457d7846f685fbe444bd","datavalue":{"value":{"entity-type":"item","numeric-id":247691,"id":"Q247691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594011$680CD276-C8C7-4579-B0E6-E11E0A95E0EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e5aab989dd247d2608746ae446b24dee2ff5ae2b","datavalue":{"value":{"time":"+2024-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6594011$C1CE9731-2C6A-48D8-A908-3C80C1C6F276","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"48ffac72c44c075c4c36f7d7f3be3e3fe947cb30","datavalue":{"value":"A \\textit{point} of a Grothendieck topos \\(\\mathcal{E}\\) is a geometric morphism p = (p\\(_*\\), p\\(^*\\)): \\(\\mathcal{S}\\mathrm{ets}\\to \\mathcal{E}\\) from the topos of sets to \\(\\mathcal{E}\\). A \\textit{localisation} \\(\\mathcal{T}\\) of a Grothendieck topos \\(\\mathcal{E}\\) is a full subcategory of \\(\\mathcal{E}\\) such that the inclusion functor \\(\\iota\\colon \\mathcal{T}\\to \\mathcal{E}\\) has a left adjoint which preserves finite limits and if \\(y\\in \\mathcal{E}\\) is isomorphic to some \\(x\\in \\mathcal{T}\\), then \\(y\\in \\mathcal{T}\\). The author studies localisations and points of the topos \\(\\mathcal{S}\\mathrm{ets}_M\\) (\\(_M\\mathcal{S}\\mathrm{ets}\\)) of right (resp. left) \\(M\\)-sets, where \\(M\\) is a non-commutative monoid. In a special case of a left zero monoid \\(S_+=S\\cup\\{1\\}\\) (\\(\\vert S\\vert\\geq 2\\)), both \\(\\mathcal{S}\\mathrm{ets}_{S_+}\\) and \\(_{S_+}\\mathcal{S}\\mathrm{ets}\\) have exactly two non-isomorphic points (because \\(S_+\\) and \\(S\\) are the only filtered \\(S_+\\)-sets in the first case and \\(S_+\\) and singletons in the second case). Localisations of topoi \\(\\mathcal{S}\\mathrm{ets}_{S_+}\\) and \\(_{S_+}\\mathcal{S}\\mathrm{ets}\\) are also described. It is proved that for any finite monoid \\(M\\), any filtered \\(M\\)-set is of the form \\(Me\\) for an idempotent \\(e\\in M\\), and, therefore, the category \\(\\mathcal{I}(M)\\) of idempotents of \\(M\\) and the category \\textbf{Pts}(\\(\\mathcal{S}\\mathrm{ets}_M\\)) of points of \\(\\mathcal{S}\\mathrm{ets}_M\\) are contravariantly equivalent. It is also proved that there is a one-to-one correspondence between the localisations of \\(\\mathcal{S}\\mathrm{ets}_M\\) and idempotet ideals of \\(M\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q6594011$8F6A6F83-E28C-467B-B6C7-FA919E042044","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"af2af9f0b39002fbe531b18972cee790e88d2541","datavalue":{"value":{"entity-type":"item","numeric-id":579434,"id":"Q579434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594011$A7865C32-CC4D-430D-AC7B-82D75B331D47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6594011$6E10C369-0621-44B0-8F5E-DD62CF3A5C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"328feb8b87ded0da841a7444b6ecdb385c89ee49","datavalue":{"value":"20M30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6594011$59ED849A-CA04-4326-99EA-725E0C955704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eadae2eb6bbadf82bbbb96425466d50c2adfbaee","datavalue":{"value":"20M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6594011$1A09D092-AF4C-443B-AC14-4FE435B87DE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f58c25e574169275de42b90db7e830078ff3eb4e","datavalue":{"value":"7902539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6594011$24852F3A-3233-4FE8-B319-0F82FE45482B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"671e0c595421b0acdcb3b604976107321e47c347","datavalue":{"value":"topoi","type":"string"},"datatype":"string"},"type":"statement","id":"Q6594011$4502BE68-E504-42F8-9994-ACAFE8E60F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0206b3ce899f46214672b76de6b4000dbeb8f6f","datavalue":{"value":"monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q6594011$84682880-4719-4854-9036-7798E5B40E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3031ccae9a90c93203cc44468e4e2b964bafc472","datavalue":{"value":"localisations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6594011$166AB235-4685-4302-89E8-4D8DA33143E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"171707167548e368e9a57d58d568bb7bf5cf1e71","datavalue":{"value":"points of topoi","type":"string"},"datatype":"string"},"type":"statement","id":"Q6594011$005DAD48-115A-4890-B2F1-6F76730D4EDE","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":"Q6594011$39CF52C9-6EEA-4E7D-BE3A-F90B0A749BCE","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":"Q6594011$B5F00F94-87B8-408E-9533-420247C3C29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"528c3948b3b623a54c9a80fcc8ab8ca5e1ae87cc","datavalue":{"value":{"entity-type":"item","numeric-id":1747829,"id":"Q1747829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594011$F17A4409-B665-46B9-9CDF-A02566A22E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066e47ce12778af2fbdbb6509c7ad2f29fcf87c4","datavalue":{"value":{"entity-type":"item","numeric-id":3059682,"id":"Q3059682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594011$F5980953-317F-4A22-91B0-AF5F9F5F8A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d30f63871d9d7a0b1b9c67cece9da7d1a5d59c72","datavalue":{"value":{"entity-type":"item","numeric-id":2634783,"id":"Q2634783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594011$0C902127-D171-461F-B028-AFE9E136C08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f9999a2d23b4e711dc577d35ae9f5c412dc4e72","datavalue":{"value":{"entity-type":"item","numeric-id":486427,"id":"Q486427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594011$4EA868B2-2E56-49D5-B88C-A53C2244F349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6be91f93b9e71fdbe70794f1d1e533232b031a3","datavalue":{"value":{"entity-type":"item","numeric-id":5482696,"id":"Q5482696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594011$0D9003FE-1B96-4FC7-88F3-8B4CFEDB9B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62ab2bab14c28b9e49d4543ad7d033ef5afe7c08","datavalue":{"value":{"entity-type":"item","numeric-id":5599221,"id":"Q5599221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594011$B2818A5E-0668-446B-B0C7-2DF6C9CE12D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d12fcd96a87b20a8ddb58cdca925317db1a16de","datavalue":{"value":{"entity-type":"item","numeric-id":5658173,"id":"Q5658173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594011$B8E3DC15-39E6-4A82-8A19-DA9DA4BE1413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d07d5db776f868b4888e663290fe3aecad7e3c08","datavalue":{"value":{"entity-type":"item","numeric-id":2315982,"id":"Q2315982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594011$516717B5-5231-4885-9301-FD76E8022A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93a19707b5123208d9ad70cd104c555e4e3d44f9","datavalue":{"value":{"entity-type":"item","numeric-id":2044554,"id":"Q2044554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594011$3418505D-93A0-4BC9-9F33-2C9C57B37114","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":"Q6594011$C72B325C-8C9A-4AC1-ABF2-760662ECB8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c4c140bdeb0296ef0f6d65791c9f2ba009b9ad6","datavalue":{"value":{"entity-type":"item","numeric-id":1971007,"id":"Q1971007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594011$4753574A-7933-4492-A743-511FCF541F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"291b706e4a31da78445d5999150e73f040f23a65","datavalue":{"value":{"entity-type":"item","numeric-id":1901820,"id":"Q1901820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594011$776A7AF5-B6D7-434C-827E-7C97D8E7B138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44ae8caa8369210b9d35a183e04b267749531774","datavalue":{"value":{"entity-type":"item","numeric-id":2376546,"id":"Q2376546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594011$005768FB-95D9-4D54-BC79-A3E6E64B7189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f676fad3e220ee59535b46ef71455a20578c31aa","datavalue":{"value":{"entity-type":"item","numeric-id":4958651,"id":"Q4958651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594011$338C169E-C8B1-416C-AD53-0B8768157B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16eed7478320b7355f30f07a8c3abdad082cc462","datavalue":{"value":{"entity-type":"item","numeric-id":2040525,"id":"Q2040525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594011$422BB3B7-D8FE-4AD2-8972-13B494945C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1ac271e30d7f7d15ed15c0bb2412dc1e08b7d31","datavalue":{"value":{"entity-type":"item","numeric-id":5869883,"id":"Q5869883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594011$419B490A-CB8D-4740-91F7-4674BF34C3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20836fa8797be2e5548168587ba4a0cb97ac8c91","datavalue":{"value":{"entity-type":"item","numeric-id":4395595,"id":"Q4395595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594011$65E1CB8A-EA84-4777-9CBF-B9EDB494923A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33ebd623f6b8e57b27792095bc1a5f936ffa53ab","datavalue":{"value":{"entity-type":"item","numeric-id":3748279,"id":"Q3748279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594011$B263751C-6CF4-4573-B1F9-F674198867B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84188e4401da8881afdba4329ad57b4b4f94fca2","datavalue":{"value":{"entity-type":"item","numeric-id":303899,"id":"Q303899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594011$7D4866AA-041B-4D3E-80B1-299265C1E74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a31a3c0e6afbc162969e8210d6f9162c3d981474","datavalue":{"value":{"entity-type":"item","numeric-id":5597572,"id":"Q5597572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594011$891A655C-8A36-441B-AF58-E9C4268E3D1E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9998faa36b4d27450148be099d32e08a82f3be4f","datavalue":{"value":"10.4171/JNCG/549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6594011$84AEA4A1-6457-4D5D-8B4E-3C558A497FE4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b4146df318dd0921678ceb7c8399e9a1420b233","datavalue":{"value":{"entity-type":"item","numeric-id":4958651,"id":"Q4958651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e8c71da66924bb6fb8a608629b328e1857d26db","datavalue":{"value":{"amount":"+0.8125887513160706","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":"Q6594011$F87B8A18-0BF1-4CCE-AEDE-73CCB2E09D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc1438d31f1ee1e474f150a661f0a3399cf5b920","datavalue":{"value":{"entity-type":"item","numeric-id":2044554,"id":"Q2044554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0cb5b7f8bbb313664ef5855f667d5c48377ac98","datavalue":{"value":{"amount":"+0.7612617611885071","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":"Q6594011$D6E15B62-C168-41E0-A4C2-9A4C937AE7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87270d43d4c314a20a2c87d33d7810439cac8199","datavalue":{"value":{"entity-type":"item","numeric-id":2040525,"id":"Q2040525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ce53adc492aaf832b067a5562374327b1e24a0a","datavalue":{"value":{"amount":"+0.7591052651405334","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":"Q6594011$1F57F666-AF1A-4EB3-9B69-7C018D7B96D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3049d9e3953756d0a052fab5cfed530d35a4f1f8","datavalue":{"value":{"entity-type":"item","numeric-id":4786538,"id":"Q4786538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b066a7e51bc3e7a466bb67de2775f0454f71028","datavalue":{"value":{"amount":"+0.7414667010307312","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":"Q6594011$193CDD15-F0AC-4DB8-BC45-BB006E68F3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06a85cfcacb67e67dda20cbdbbc31fc44258870e","datavalue":{"value":{"entity-type":"item","numeric-id":6589723,"id":"Q6589723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00a404c6309dc0d947eb89397fbc4b7307fadfd1","datavalue":{"value":{"amount":"+0.7388300895690918","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":"Q6594011$BF4675DB-387A-4AF5-AA24-6DC5C61360DE","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6594011$24CA281B-8A68-423F-8081-854ED4A2731C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The points and localisations of the topos of \\(M\\)-sets","badges":[]}}}}}