{"entities":{"Q3947807":{"pageid":5977712,"ns":120,"title":"Item:Q3947807","lastrevid":88939715,"modified":"2026-06-04T15:54:07Z","type":"item","id":"Q3947807","labels":{"en":{"language":"en","value":"Full Continuous Embeddings of Toposes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3765999"}},"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":"Q3947807$014624BE-84AA-488A-8E4E-DCD42DF35790","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7238aef718165038fe2d6e79ced74de571f18808","datavalue":{"value":"0487.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947807$13EE49A6-85B7-4E03-B63E-143E8B9573C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db3af86c263af0f4ad881a52590d52e3c66fc031","datavalue":{"value":"10.2307/1998599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947807$47DC7A2A-E2BE-4A10-BD2A-078394066E3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a65d0161e2b1499280c869048154b5d85ad8a69e","datavalue":{"value":{"entity-type":"item","numeric-id":175558,"id":"Q175558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947807$5FBBF9B8-B27B-4389-9074-ED141021F5F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3947807$10587D4C-FE33-4FB8-AECB-FF6D8ABBA0EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947807$8F39EDB7-0ED6-4E84-B8D8-04204349F0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947807$0A71B76F-551B-4B2D-A0FA-6721AA1CE6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947807$B99AB10D-F479-482F-A619-F02F1240AFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9b839d3830c02938325ef825fe74834c3b4a499","datavalue":{"value":"18B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947807$5641FB79-9E54-428A-8D0C-818759FBC312","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abc543cc2b618b4965ba85d07b9815e0bf99c493","datavalue":{"value":"3765999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947807$F20F8555-0F69-4AD2-8DA3-EA065EC06CBD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e73a2f146136b5248618c92e0def0f01e98ed72","datavalue":{"value":"embedding theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947807$EF172611-13E5-436D-AFB9-DEDDE23EA466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79854ce3641642829b8e0002cfa0919f1c4fa4f0","datavalue":{"value":"embedding theorem for regular categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947807$240D8A19-8497-4EDB-8ACD-A1A56BE2A279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e65d43750f9b898866e7feea0f0d160dd9a1cc5e","datavalue":{"value":"prime- generated topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947807$483C9E14-97DB-4840-9BBB-D2A71142CEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9e9ff8ef5b76687b37313e4e00d338b92e94754","datavalue":{"value":"atomic toposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947807$C8280A8B-37D6-483A-A3A2-A9B634D8E8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d37086b167e5030e01547a4f88257413d58fc84d","datavalue":{"value":"classifying toposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947807$A4AA4158-F5BB-4CBD-800F-C80D04023C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"575449de786d2da628287cf6af8276fc32a258f8","datavalue":{"value":"topos of presheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947807$EB5FD63A-7291-4970-A298-71DD55A5E53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3139fe2b26f9e6eafe03548229b0cdc5ab7363f9","datavalue":{"value":"full continuous embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947807$5431CE2E-9AD8-40A5-BC90-FD5E5C6482D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"597283e8d2af565c9d62309349e7c111e5e5e21a","datavalue":{"value":"regular theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947807$7A03C273-2E2D-4122-BC48-91C5D89E2902","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":"Q3947807$1C717B8C-6E32-4FEE-8A7F-D3D91BC5D7EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0eec86f9759e5d91df448314d22d3c538b139111","datavalue":{"value":"https://doi.org/10.2307/1998599","type":"string"},"datatype":"url"},"type":"statement","id":"Q3947807$7D281596-387C-4EF6-87EA-FC140CCBD0CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5438bde5409955b49f7199820c2c1361cf7c5b01","datavalue":{"value":"W4243556863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947807$3E5ACF1F-B976-4DC5-9AFF-494CC98603F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20908b0f7efb464225f7504bb8fee90486be8ed2","datavalue":{"value":{"text":"Full Continuous Embeddings of Toposes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3947807$628CF74B-EEAD-467A-AA89-DD4C4B081124","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":"Q3947807$2F026413-4995-4139-B828-84B6BE367968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a9249730d1c978938ac5cb3cd71e20c58c43e10","datavalue":{"value":{"entity-type":"item","numeric-id":2547941,"id":"Q2547941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947807$72DBC08F-9A83-4C66-88BC-CC75CFED0BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9804d92f6149f21a700c6190a20112dc10a7abe4","datavalue":{"value":{"entity-type":"item","numeric-id":1137631,"id":"Q1137631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947807$5BFC3883-20FA-410D-944C-326E461BF514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38a791238228d57daba28d75ba7e16cec737264e","datavalue":{"value":{"entity-type":"item","numeric-id":5650664,"id":"Q5650664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947807$4D7A2AC0-908B-4711-A25D-43CF7EB84024","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":"Q3947807$5283080E-930B-4BC3-87FA-6DF4F7BF5290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25002a311cfd0a74879325359d5d55ac42a9af4e","datavalue":{"value":{"entity-type":"item","numeric-id":3962974,"id":"Q3962974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947807$1653D97D-A171-4F64-9512-D7C23E539F16","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":"Q3947807$0EE4401E-435B-4388-A742-FFAE602053E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d223355713d43fd22fdbfdb541ce3efab0d3390a","datavalue":{"value":{"entity-type":"item","numeric-id":1238016,"id":"Q1238016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947807$4CE73BC9-F7A5-4EC9-AC07-2744211C274B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa0f3d7739f5dfe7a9a0c2048cde98910b8e9ea","datavalue":{"value":{"entity-type":"item","numeric-id":1147215,"id":"Q1147215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947807$42BFCAAF-BF20-435A-A0C8-35D996FAE90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f641cbbe23dc91c3c14d9b5642a678a1649e3a1a","datavalue":{"value":{"entity-type":"item","numeric-id":5613929,"id":"Q5613929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947807$C2D9F9B0-8CEF-4C15-8EA1-545CE0AAD476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01e2ffc1c93aaed1a818294aea2644d622de3c6","datavalue":{"value":{"entity-type":"item","numeric-id":5529481,"id":"Q5529481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947807$40E6E550-CF27-4B2B-A365-A31FC31949F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Full Continuous Embeddings of Toposes","badges":[]}}}}}