{"entities":{"Q1936112":{"pageid":1946854,"ns":120,"title":"Item:Q1936112","lastrevid":71895426,"modified":"2026-04-14T01:15:09Z","type":"item","id":"Q1936112","labels":{"en":{"language":"en","value":"Totally distributive toposes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6138022"}},"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":"Q1936112$44045F79-FB39-4FDB-822D-7F314175F6AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c35ea742977ebe148be8e02955a4c8f71182575","datavalue":{"value":{"text":"Totally distributive toposes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1936112$12781F4A-058B-4759-95BF-38ABEBE68BE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2d42c7e78bae9e872cb8c65708fc14be7ea527a","datavalue":{"value":"1263.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936112$795CBFB3-2DF8-48D8-9B5A-68FD95CECF67","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c5ed998e980c1c2bcc1a1956e1279b9964bdfdc","datavalue":{"value":{"entity-type":"item","numeric-id":424558,"id":"Q424558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936112$B35B266D-530A-48F6-97E4-3BFF29E6B58B","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":"Q1936112$CD230779-E0DA-476E-BBC5-7B82685723D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ec88787b088b88fbcbfef6eb4534917e7df1ffe","datavalue":{"value":{"time":"+2013-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1936112$50B6F42C-543A-4ECF-B77B-27D5988E2011","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62ace181943ba5a49d533280535f0af39cbd8ee1","datavalue":{"value":"https://arxiv.org/abs/1108.4032","type":"string"},"datatype":"url"},"type":"statement","id":"Q1936112$FDD2ABB5-ADD4-4CDB-9B79-57F3ED460470","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3bcc7e8f1a568be5123f57b1e45a29d7c66f891f","datavalue":{"value":"There are several conditions on partially ordered sets that can be expressed in categorical terms by requiring the existence of a string of adjunctions between the poset and some related poset, say of ideals or similar. This is the case, for instance, for continuous dcpos. These conditions extend in useful ways to small categories, relating to strings of adjunctions typically involving the Yoneda embedding. These results are recalled in the first section of this paper, and then are applied and extended to the study of totally distributive categories. A category, \\(\\mathcal{E}\\), is \\textit{totally distributive} if there is a string of adjunctions \\(t\\dashv c\\dashv y\\), where \\(y\\) is the Yoneda embedding. The category, \\(\\mathcal{E}\\), is \\textit{lex totally distributive} if in addition \\(t\\) preserves finite limits.  In this paper, the author shows that lex totally distributive categories with a small set of generators correspond exactly to injective Grothendieck toposes, whilst removing the `lex' condition gives the essential subtoposes of presheaf toposes.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936112$F9916DF0-B579-4D21-A116-06BCB955FA2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"479a672951288aabf3a4041e0fb71e1dda5dffff","datavalue":{"value":"18A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936112$7799750E-1B2F-4F73-8A57-B6F46AC34DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936112$4CC82166-20F6-4910-8028-FEA9139118B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04eedf49e3015d600f795922084ca2d8daac4a2a","datavalue":{"value":"6138022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936112$46310D65-E7EA-4A08-83A0-5FBCC62875F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bedf903784eeba0fa13d8545c010927ac8abaf15","datavalue":{"value":"partially ordered sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936112$90D78CEA-D9BD-4E30-8B5F-075079EFAF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed79a624a460cf077d6b6549bcec18ba3e42834f","datavalue":{"value":"string of adjunctions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936112$9BDB51D7-DBE2-4BE8-A3D3-4443C7F6554C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d48dd8c65c97dad8b3660fbfff19c59ff7d59bd","datavalue":{"value":"Yoneda embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936112$E1B4DC46-2C55-444F-8D6B-FF4F35A55C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79540359f1603e254319815f3035f0c2c8a57e77","datavalue":{"value":"totally distributive categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936112$82C1F6A9-B8C9-4CF2-B06A-883C599BFD49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a528660b36896716518fb21e025354bca6a8040","datavalue":{"value":"totally distributive","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936112$AA960C5E-6963-4931-9044-7EF9FA1F5234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e36ebcb63c8220eaa54b3edaaadb2dfece99a8c8","datavalue":{"value":"injective Grothendieck toposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936112$B7AAAC92-1561-4E00-A2D6-2FB4D3B23357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6df7e4f28b638085f977795c9cfa24a3cf5c0141","datavalue":{"value":"presheaf toposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1936112$B484EB26-9721-47D1-91D3-D8DC6707C319","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ab79fdaddc189a7483164e877e59b9ea4b806d0e","datavalue":{"value":{"entity-type":"item","numeric-id":590766,"id":"Q590766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936112$4591C69B-D692-40E4-9B8A-F87C3C685E53","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":"Q1936112$71F9D43C-7E54-4E22-8DB6-BBDF7DE63BFF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5139ff9980892410078f9ebfec07b0302d9f47b","datavalue":{"value":"W2050883910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936112$F5D1E2D2-CE79-44C8-BB8F-8183BB9751D5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c507f286febc8ee44fd0ab1fbf10b128078bdaa","datavalue":{"value":{"entity-type":"item","numeric-id":3874761,"id":"Q3874761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936112$FBEEFC5B-A727-4178-BEA8-FF600C56F430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cfc8526d7bbeaa334a467ae9845f5a7bb1a4291","datavalue":{"value":{"entity-type":"item","numeric-id":3469144,"id":"Q3469144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936112$3CF2E107-4F91-46E9-8A73-014638CFA428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a45aca3cdd344520de42ed426baffedac3530533","datavalue":{"value":{"entity-type":"item","numeric-id":3933035,"id":"Q3933035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936112$2CF42C23-0791-4CBD-83B8-F60E9ED9CA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73b8a7ae1aedb6d9e8084a45f7b5cf48f5fdb52d","datavalue":{"value":{"entity-type":"item","numeric-id":3922824,"id":"Q3922824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936112$C65BBAB7-F02A-4BA6-9CDB-094CFEDBA838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936112$4A56E5B6-2F58-49F3-8F3D-E5424C940BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936112$0E52C806-2106-41DE-AC81-BCC702619C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ee8662907e5120047cb932a2a1ec97a7b56cb3e","datavalue":{"value":{"entity-type":"item","numeric-id":1165305,"id":"Q1165305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936112$6E7146EB-AF57-4813-BA5C-815802E6C0EC","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":"Q1936112$37B0FA80-6A45-4081-8018-16A9949E6FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"095c9026f15fe9559c9b0866855f9abcc1fc5759","datavalue":{"value":{"entity-type":"item","numeric-id":626735,"id":"Q626735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936112$A83FF950-FD4D-466F-AFE5-628109313E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7829b8e34102836278f3b80e37f72fbf4ea12db5","datavalue":{"value":{"entity-type":"item","numeric-id":3864573,"id":"Q3864573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936112$E80EF0DB-B42F-42B1-9AA2-D4931BEBDA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936112$826B83B0-FD6B-4DE2-8357-FFB340C72168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab3e068d9142716e11d7893c4328857c07c22ee9","datavalue":{"value":{"entity-type":"item","numeric-id":456849,"id":"Q456849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936112$018FCA25-6141-4199-BDBF-9120F827A8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cde37c1650978528c9b8d634a010532eff80475","datavalue":{"value":{"entity-type":"item","numeric-id":4313331,"id":"Q4313331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936112$04A59108-DE53-4015-BD04-FB8A877162C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936112$B89CAEF4-F033-4413-981A-A225B24BE02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"854fb743bf5e50d35714679be62487e9a155a8c6","datavalue":{"value":{"entity-type":"item","numeric-id":3924360,"id":"Q3924360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936112$6A9CEF9A-AA7E-428B-AC58-2422952F109B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe31419c2782b754e1c0d7b28f35431522013ba","datavalue":{"value":{"entity-type":"item","numeric-id":1255083,"id":"Q1255083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936112$3427D08B-E221-4838-B06F-11ED40992FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8447fe8a1d87367c0ce1cf9a6475740bd9328c1d","datavalue":{"value":{"entity-type":"item","numeric-id":1835742,"id":"Q1835742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1936112$731DAC64-0E25-4180-8DC4-E29DE320C6A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a91b2f528ff8029947be0efd8fd13b779aaeb05a","datavalue":{"value":"10.1016/J.JPAA.2012.03.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1936112$EE96EA8E-B5D0-4156-A042-54BA2961BBB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7554203935eb731ea52f438b7c4d7d94f04271ce","datavalue":{"value":{"entity-type":"item","numeric-id":456849,"id":"Q456849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61b9071b547769926420653e0e9dd8c43fd758c9","datavalue":{"value":{"amount":"+0.7891153693199158","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":"Q1936112$88B24EEF-130F-45A9-9705-40F83899A9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"caff1e7733c0c34e2b90ffb59d8bccdfa42d6397","datavalue":{"value":{"entity-type":"item","numeric-id":2674405,"id":"Q2674405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7299f71c14e5d320c44b127a2b9e4ac4851e6db","datavalue":{"value":{"amount":"+0.7511154413223267","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":"Q1936112$C31DCFFF-CD75-424A-AF1C-7CF340853347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27757200d801be42389cf20c29c37a1846232564","datavalue":{"value":{"entity-type":"item","numeric-id":3722693,"id":"Q3722693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41f32c7b3ba68606606a3f17065f4185abce5b2e","datavalue":{"value":{"amount":"+0.7443555593490601","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":"Q1936112$C7EB3654-CB39-4AA5-9619-C3D58A47CCA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a9ea05d35887cd2aae20bbf71d48b2e7f48e225","datavalue":{"value":{"entity-type":"item","numeric-id":3456340,"id":"Q3456340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9eb9a667c2f985ec2d6789c5ee7bcde24a64cc2","datavalue":{"value":{"amount":"+0.7321084141731262","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":"Q1936112$F4140FEC-3257-48C3-90F7-FEEB12933ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a02278c4535666b848001ea0da9b57357cee5388","datavalue":{"value":{"entity-type":"item","numeric-id":917678,"id":"Q917678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93de401cadd879b9c21dd25bf95b0a6e8c81a836","datavalue":{"value":{"amount":"+0.7293312549591064","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":"Q1936112$E9D64ACB-833B-426A-B25D-F60D3FD6E037","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Totally distributive toposes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Totally_distributive_toposes"}}}}}