{"entities":{"Q796619":{"pageid":798467,"ns":120,"title":"Item:Q796619","lastrevid":64404363,"modified":"2026-04-11T19:38:13Z","type":"item","id":"Q796619","labels":{"en":{"language":"en","value":"\\(T_ 1\\) spaces over topological sites"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3865535"}},"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":"Q796619$985DD7F0-4866-479D-A2C0-E950F4DAFA66","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0dab31de58ba1441de7502ca1705413f169428ff","datavalue":{"value":{"text":"\\(T_ 1\\) spaces over topological sites","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q796619$AD006CEE-052D-4738-8084-0C82A5E7638C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27e61aa6c4ede8e2a4913b1eca76a5833d3a9619","datavalue":{"value":"0544.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796619$6D99BEFE-7335-436F-A0D0-AA44454EFF3F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2dd44d89aa94a0f58a9e32b594a80a6595358b26","datavalue":{"value":"10.1016/0022-4049(83)90017-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796619$00B05EB5-31D9-4590-8067-1465BCF2F063","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":"Q796619$2B258915-2097-4CD0-BFF8-93DB7E926B21","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q796619$27EDBE2A-8B0D-482B-9745-D9D5BF0065C5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e3d908fa3fec83427ec95ab1a35384109c7c9c91","datavalue":{"value":"This brief note provides an elegant way of showing that in topological toposes many spaces can be represented as sheaves of continuous functions into the appropriate formal space. A locale X is called \\(T_ 1\\) iff for all locale morphisms f,g: \\(Y\\to X\\), \\(f^*\\leq g^*\\) pointwise implies \\(f=g.\\) Let \\({\\mathcal E}\\) be a topological topos, that is to say \\({\\mathcal E}\\) is sheaves on a topological site C. Then, if X is a \\(T_ 1\\)-locale, the sheaf of X-models in \\({\\mathcal E}\\) is represented by the sheaf \\(Cts( ,X): C^{op}\\to Sets\\) of continuous X-valued morphisms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q796619$01FBFE35-C538-4180-B8FD-F04AE6DCA57D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796619$3D3BFC1F-7CD9-452F-8CEA-3D3122EAE3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9de122ab855f9ddfed11049bff6760e78c7b0fb5","datavalue":{"value":"18B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796619$1B23BCA4-E1C9-4165-93D3-A7AC26D62319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da6bb9e4e82c31800f6eb5c65d9d41d5a31cc52a","datavalue":{"value":"54B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796619$9C82551D-D596-4D1D-A3A3-70D285D6D5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796619$432198FE-AE5F-4DD7-AF97-C00C40788246","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f96d2b792200b79796230aead4043c3e33b0841","datavalue":{"value":"3865535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796619$4CDEBA68-2A5B-40F4-9462-86ED5611695B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23174240e261ccde35945cdd97c0208aa352d14e","datavalue":{"value":"sheaves of continuous functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q796619$759CC480-A139-48CB-A1FC-0425337FC636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"725a1ce797eb1d181c5de7da99eda2dcd2da4e6d","datavalue":{"value":"formal space","type":"string"},"datatype":"string"},"type":"statement","id":"Q796619$11BE4A95-423B-4705-A235-F2EEC72E6342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aea90041a2428e1c3dd92667f42d8a74ef4d8ca1","datavalue":{"value":"locale","type":"string"},"datatype":"string"},"type":"statement","id":"Q796619$6D0C23D8-4E3B-4BE0-A240-E2A0B9159CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdfafcf0acf44103ead06d2192c6bd80f84f1dc5","datavalue":{"value":"topological topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q796619$C9E222E6-37D6-48D4-9EA7-C3E46F0E4A62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f0df80006e9027d48ac048be2eb374a39c7d776","datavalue":{"value":{"entity-type":"item","numeric-id":1799306,"id":"Q1799306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796619$033CEE93-F248-4163-BC7A-773E4E1C5A7E","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":"Q796619$4CB3F8C1-B2AC-4844-833C-613C7F4E2E6C","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":"Q796619$71BAC016-B680-4219-8BDF-B760353D30F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9880a854388f6f71c643388fbc5ce3f8baf3da91","datavalue":{"value":"https://doi.org/10.1016/0022-4049(83)90017-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q796619$44C28926-3E1F-4569-9C69-4E7CAF88323F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89421e03960ae59a522b60252a87de50e1ee63df","datavalue":{"value":"W2067014004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796619$5D526F19-1B2C-4BBB-B369-B1A6A50E887A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de26bb8ee6b7909c4d8fc4004fd737791e1c9a4e","datavalue":{"value":{"entity-type":"item","numeric-id":3322099,"id":"Q3322099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796619$1ACB075D-2A4F-4421-AF80-92AE4806294C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"457eb2590eed0412ee4221b1b810818af2ef3c55","datavalue":{"value":{"entity-type":"item","numeric-id":5626908,"id":"Q5626908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796619$DC123840-8EA3-4F25-ADF3-1CB2B4D27233","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d4a9f3116965e5d3e0ad7774a43233c353b8c95","datavalue":{"value":{"entity-type":"item","numeric-id":3322808,"id":"Q3322808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f2073957e1585c653afec6a1ea3d90d2a5b11bf","datavalue":{"value":{"amount":"+0.7554106712341309","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":"Q796619$27F74DCE-3E76-4532-B009-ECFAB017BE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2ffc9dbee621f915a5ab5e6e0829b38830c8324","datavalue":{"value":{"entity-type":"item","numeric-id":3729655,"id":"Q3729655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4caff03846825c2c538b35f5fa67cd5d1c622ef3","datavalue":{"value":{"amount":"+0.7475637793540955","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":"Q796619$017A3003-70F0-4BEF-9A35-D44A6AEA64EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ab283f4edbd18adae9debeb0ebe193d8ecd1002","datavalue":{"value":{"entity-type":"item","numeric-id":3679877,"id":"Q3679877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fac34a46b69e90fae64103add821c27dc546245c","datavalue":{"value":{"amount":"+0.743084728717804","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":"Q796619$C8B2DF26-C1D6-4841-A6EC-10BA376E648A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"189917a62112b1083ba638c3e77aa4643043de52","datavalue":{"value":{"entity-type":"item","numeric-id":837638,"id":"Q837638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaa7f56f81fa2574f9b1063c74077c214d51d222","datavalue":{"value":{"amount":"+0.7366434931755066","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":"Q796619$EC175556-2B6F-4698-A94F-67179FAD42FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75f1b8092993e48f3068638eb834f2158293d85e","datavalue":{"value":{"entity-type":"item","numeric-id":3118542,"id":"Q3118542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a2018b0087ef96c7f6a49a7710ea36e7496672a","datavalue":{"value":{"amount":"+0.7338364124298096","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":"Q796619$40E12EA4-B639-4272-A1FF-2F48D5093687","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(T 1\\) spaces over topological sites","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(T_1%5C)_spaces_over_topological_sites"}}}}}