{"entities":{"Q678846":{"pageid":680695,"ns":120,"title":"Item:Q678846","lastrevid":63434172,"modified":"2026-04-11T13:07:41Z","type":"item","id":"Q678846","labels":{"en":{"language":"en","value":"Cartesian monads on toposes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1004400"}},"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":"Q678846$0AF240DA-24F0-4F92-A1FB-6F3ABCA07C2B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1fa045b6cf0560c8811c51c48d6f98ecea0ba2ea","datavalue":{"value":{"text":"Cartesian monads on toposes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q678846$D5034B9D-4E25-4372-BDE0-D6F796E2FCAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a52e0a9c64de6bd5efbdbcd7db9ec9baedda834","datavalue":{"value":"0881.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678846$5035B203-2334-4171-B719-FF28821C7DD5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0fe4ec7946a23946c7c2fc4efce2bfdb584606f4","datavalue":{"value":"10.1016/S0022-4049(96)00165-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678846$75C94D88-4C36-4D77-875F-1900B8086179","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":"Q678846$1905BFBF-7DD0-43BE-878E-24B531BA234C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e06ff1cd8e8403fe2fdca2ad132a620003ff250d","datavalue":{"value":{"time":"+1998-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q678846$EBD1BF1A-681D-4885-9C5B-8AB6493D39AF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cc76da1c31c4b0f00ef9a39e8f062ae220f9f4ae","datavalue":{"value":"A geometric morphism between toposes, being an adjoint pair of left exact functors, induces a left exact monad on the codomain. The author addresses the question whether any left exact monad on a topos arises this way. The answer is positive provided the topos is Boolean. The proof technique is: use the existing theory of strong and indexed monads to reduce the question to the case where the topos is the category of \\({\\mathcal S}ets\\). Here, left exact monads are shown to correspond bijectively to strongly zero dimensional locales, and these give rise to the desired geometric morphisms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q678846$B9687CAE-1C3E-4C6D-8E46-5544CC450FA9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"06053073f43b1cb7a30d04c3029abef6e6536b0b","datavalue":{"value":{"entity-type":"item","numeric-id":638551,"id":"Q638551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678846$043F3198-D958-449A-A4C6-4C9FDAEA12E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678846$94FA2F04-AB14-42E8-BCFC-990BBD829625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678846$9C4697C1-AFBA-4AB0-A078-E0FB9C59F76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678846$B5ED782A-B263-4DA0-A1B8-1910D084A3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ff5afb9f74c3a3415ada815bc1c672499bc6e26b","datavalue":{"value":"06E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678846$240584E9-FD77-40B0-BD49-74A081780C83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a87ffb93a64ff28cb3c6aacdb15e4a82ea255de","datavalue":{"value":"1004400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678846$6DA75F82-36EB-4B9B-9AA7-809376815906","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q678846$EC1C0C62-2CC3-4489-BD8D-49D2A3377C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"385ec5ee567d17bbd2e6c7af4270fade5c5f2e55","datavalue":{"value":"topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q678846$47F3210A-4E77-4ACA-9143-9D9585218771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fd142dbc3133eeea627130126c05cb0e2d86484","datavalue":{"value":"geometric morphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q678846$D7E54334-E517-44DF-BA9E-5505E66E6302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"320086d4658bc6cfaa1e5df42ec4ebd45af4924f","datavalue":{"value":"zero-dimensional locale","type":"string"},"datatype":"string"},"type":"statement","id":"Q678846$7DB61A69-CD8A-4DF1-8C5C-D5CA3BD58C5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9d9c949c56161faed1aade087470a53cfc22b03","datavalue":{"value":{"entity-type":"item","numeric-id":702196,"id":"Q702196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678846$B3819A20-9AA3-4269-B83B-07F46860378C","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":"Q678846$BD16B86B-046E-4280-868F-F4CAAE243325","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f7d12b94d7f2d80eddb8cb3738859c6cf7b8e7","datavalue":{"value":{"entity-type":"item","numeric-id":583355,"id":"Q583355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678846$F34846FF-3891-48A6-A5D3-248BE12B92D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"482eb08d55dc34e6a1889f78c2147d2068f9d8f3","datavalue":{"value":{"entity-type":"item","numeric-id":1234345,"id":"Q1234345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678846$860715CD-F02D-4DB0-B7B3-5DAC988A7DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309cd0ba5e82c32fdcaf374f9a8a6e13f4266f82","datavalue":{"value":{"entity-type":"item","numeric-id":4882486,"id":"Q4882486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678846$4F4C679E-CC58-4B7B-ACBA-D0DF9EBE4E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dfb124f04bfdfe8aadf6c513fa09542cea2eb8a","datavalue":{"value":{"entity-type":"item","numeric-id":5731806,"id":"Q5731806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678846$1DAD4C9C-705E-4578-9DC3-0F761AE1B3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"959e531487adc23069576fcb7daed36b17792dd7","datavalue":{"value":{"entity-type":"item","numeric-id":3907717,"id":"Q3907717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678846$E0DE6467-7481-4900-80A3-6949C7F35482","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":"Q678846$884E916A-0425-4E10-A7A1-28FC27811999","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":"Q678846$FBC41F27-A0EE-4918-92E0-A3BF16956E1C","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":"Q678846$8EF3138F-3FEE-49B3-B786-8407E7E70712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6da58c971ba23eca286fe59657bdd13f136ae7b","datavalue":{"value":{"entity-type":"item","numeric-id":910487,"id":"Q910487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678846$0555621A-D61A-437A-9DE9-376B86AF2633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fce9517eaffda9162f57983a2e69733579a3ad9b","datavalue":{"value":{"entity-type":"item","numeric-id":4173541,"id":"Q4173541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678846$980E304A-950A-4E9D-ADEB-6A93E0BC1178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f76a2d0073c40143c1def38d19098665a24eab4","datavalue":{"value":{"entity-type":"item","numeric-id":5666708,"id":"Q5666708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678846$92455BB2-86A1-4517-9A14-23ACC4115BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3592cd66fbd154fad3b6debbcfc102ee04f4b37","datavalue":{"value":{"entity-type":"item","numeric-id":2557763,"id":"Q2557763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678846$F4DC49EC-4351-42E2-8044-240758BFEE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cbe19fcefeee0f7452f0785bfac52068f96015e","datavalue":{"value":{"entity-type":"item","numeric-id":4170869,"id":"Q4170869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678846$6DED60B9-4990-43FB-96EF-5DDF558669A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11ce16bf5980d8154c7ddfd94390dda5b18c594c","datavalue":{"value":{"entity-type":"item","numeric-id":3982353,"id":"Q3982353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678846$828B148D-EDBD-4C3B-A750-4D6D3B87EA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ccfeb21b2e4ec487e36af4227f47563c499c804","datavalue":{"value":{"entity-type":"item","numeric-id":5613067,"id":"Q5613067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678846$66858236-40CA-41AB-8DC3-272948811A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26834783197c6a881875fa9e4f66880dee84a0fa","datavalue":{"value":{"entity-type":"item","numeric-id":1843491,"id":"Q1843491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678846$185C0ED1-95FE-435C-94E6-76C174F5C693","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"822cd84528b87fbc4b070aea472bbc1c6474cc26","datavalue":{"value":"https://doi.org/10.1016/s0022-4049(96)00165-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q678846$7C17FD48-876F-42FD-B39D-9496082F5517","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89406ba59d23bb423fc9c01523fe2d3234e1a64a","datavalue":{"value":"W2151448345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678846$90954AD3-FA47-425A-9481-1175054FF0B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f4dda7e35d9cecce39fdb97f735a0540405b5ce","datavalue":{"value":{"entity-type":"item","numeric-id":1937980,"id":"Q1937980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"860d20ab8bb2fc64d247df11206b109d2a1fc0d0","datavalue":{"value":{"amount":"+0.7591071128845215","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":"Q678846$EAE690EE-EB23-4B10-892D-6B9CD9F30647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df7351eb4dc7007f23134d4a11c1160e705fa20c","datavalue":{"value":{"entity-type":"item","numeric-id":5869883,"id":"Q5869883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbff3e71cb168cd1c75a3b50aec116e33e73cdc3","datavalue":{"value":{"amount":"+0.7429397106170654","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":"Q678846$FB0EAD26-C215-4707-90F7-71A14FEDBC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be5946481f9ca5d1d19751baee50f73bbfd9f601","datavalue":{"value":{"entity-type":"item","numeric-id":613566,"id":"Q613566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c796bc7d03017fa0062a5b1d8725c73342e727c7","datavalue":{"value":{"amount":"+0.7345001697540283","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":"Q678846$F380F232-374D-4E5A-AB3E-0F6C8601AE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94fad8945c07cb65a91125095ae82b2e49dad242","datavalue":{"value":{"entity-type":"item","numeric-id":1184039,"id":"Q1184039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2641079f1d3a39e134e6e36166df7b3dc0428721","datavalue":{"value":{"amount":"+0.7255627512931824","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":"Q678846$7BE502B8-C299-4DBD-A964-87BE00C91F2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cartesian monads on toposes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cartesian_monads_on_toposes"}}}}}