{"entities":{"Q1905995":{"pageid":1916737,"ns":120,"title":"Item:Q1905995","lastrevid":73294317,"modified":"2026-04-14T15:19:00Z","type":"item","id":"Q1905995","labels":{"en":{"language":"en","value":"Cosheaves and distributions on toposes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 836828"}},"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":"Q1905995$F5D7889B-6054-4818-8324-9A72412508B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95f370c0b82bf2619cd20ab34bd97d4fc3e9e7ef","datavalue":{"value":{"text":"Cosheaves and distributions on toposes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1905995$25A3AD74-3034-4A25-9C84-C6171C4837B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e48db4827194092b32c4421462bfa3acdd8fc7e","datavalue":{"value":"0863.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905995$9B851471-ECD3-47E6-BF58-FD5B4AD29FFB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"445a8fe9d6c870dcf4e8ca232a04b28aed16839d","datavalue":{"value":"10.1007/BF01181872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905995$32E03BE0-B7DF-47DA-8F98-61C71569DFF3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905995$D44E7EA3-03FF-4153-A36E-731948FF4953","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb8cca7aff509b0b212f6238d3457390f886754c","datavalue":{"value":{"time":"+1997-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1905995$3AAB98A7-C550-4AE2-9348-1B8A648B8FA6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f6e2f7d7b2fd0bb77fd02fd22c4da3ea84f449fd","datavalue":{"value":"This paper is a contribution to the study of toposes bounded over a base topos \\({\\mathcal S}\\) (which may be thought of as the topos of sets and functions) as cocomplete \\({\\mathcal S}\\)-indexed categories. The key result is that the forgetful 2-functor from \\({\\mathcal S}\\)-toposes to cocomplete \\({\\mathcal S}\\)-indexed categories satisfying a `small presentation' condition has a left adjoint, the symmetric topos functor. Applying this functor to an \\({\\mathcal S}\\)-topos \\({\\mathcal X}\\), one obtains a topos \\(\\Sigma {\\mathcal X}\\) which classifies the theory of `distributions on \\({\\mathcal X}\\)' in the sense of Lawvere; the latter may be identified with cosheaves on any (small) site of definition for \\({\\mathcal X}\\). The author also exploits the Joyal-Tierney representation theorem for Grothendieck toposes in terms of localic groupoids, to give a similar representation for categories of distributions on Grothendieck toposes.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905995$A66DB9E5-CB6D-4BC9-9E89-B3276B4ADC60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905995$09F20514-473B-4565-BD9C-155419EFC512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c657f97db498141a0eda8604b03a45e60e36ed76","datavalue":{"value":"18D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905995$6B47E210-2FBA-484A-A2D8-F56BE9937EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905995$DE6831FA-1853-45A8-A6AD-569951C6AF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"479a672951288aabf3a4041e0fb71e1dda5dffff","datavalue":{"value":"18A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905995$C349BA13-5F50-4584-AA72-A9842471B1E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a8f0aefbb46332eb39534d12ee5553ac49e8fec","datavalue":{"value":"836828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905995$08B8919E-2052-41C4-84D2-34465D8DD568","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1105fcc0b74c7a1fbaa65e95eeb7525fdf97d4ba","datavalue":{"value":"indexed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905995$26078B6E-76AD-4B5B-8CA5-424BD2B9A966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"385ec5ee567d17bbd2e6c7af4270fade5c5f2e55","datavalue":{"value":"topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905995$36E97255-991B-4729-9DBD-2275D69D904A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f0bb797d70f0b8d8273d1f83ac6b7c17923e31c","datavalue":{"value":"symmetric topos functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905995$010BECF0-4E78-48E6-A79B-D35C064F5D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed07eacc0aa01e85123c73410f514b6e5bf93cd6","datavalue":{"value":"cosheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905995$3C979BBF-344B-4D13-A919-0E248304A7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18f696a8a40d212a5295fbc2d31efec2c98f51a0","datavalue":{"value":"Joyal-Tierney representation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905995$B9417416-68B0-4961-A9F7-ADA9E3992441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa72d29b773173cece22388a201d886a3c4c12cd","datavalue":{"value":"Grothendieck toposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905995$02406342-7524-43BD-A53A-7FE1486CCE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cc551bf26c892cafe4c562aa8ed4f1943be286c","datavalue":{"value":"localic groupoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905995$B02A0C47-8978-40E0-B5C7-6181F17083EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e58ff4f514cdeda06a1c4651a0b6ef3e48eb57f","datavalue":{"value":"categories of distributions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905995$66E4606A-6C7D-469F-844B-6A976A4D1BAB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"204dcd1cab8329d14fce1118fe6edefb3cb4aab4","datavalue":{"value":{"entity-type":"item","numeric-id":1250099,"id":"Q1250099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905995$66E0D275-B217-41FD-9480-39FA4DB0EF50","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9596d005c29801249c01b9d1288aea39b7db279d","datavalue":{"value":{"entity-type":"item","numeric-id":702196,"id":"Q702196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905995$A59890F4-C00C-449D-B129-237F138D5755","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":"Q1905995$B64CFA6E-7C45-4F3F-93EA-8E5AE64805F4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c97b44a0c2594645521791cc970be142f9c60fda","datavalue":{"value":{"entity-type":"item","numeric-id":2625879,"id":"Q2625879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905995$B0039EAE-6052-4A6B-9587-41EA108F1FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42c185dd1c802723b45f102c7748f45816a46eaf","datavalue":{"value":{"entity-type":"item","numeric-id":583356,"id":"Q583356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905995$0FAABF7D-1E26-4A3B-9B1E-15FF0E29D5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d78683c84404856ba48c3a51d8bd33cf22a527d","datavalue":{"value":{"entity-type":"item","numeric-id":3475447,"id":"Q3475447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905995$CD2A96F7-40DF-4F78-81CC-8E459531E3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a560a6ffb5c4d05293e32c5701628ac370d7722a","datavalue":{"value":{"entity-type":"item","numeric-id":3869509,"id":"Q3869509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905995$366BC09A-2ECD-4213-A19A-FB20DEDCEEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d79a9a82d03d1a6d9f1389005af5cf7bc0bbf4af","datavalue":{"value":{"entity-type":"item","numeric-id":4698557,"id":"Q4698557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905995$88600738-09F3-4634-BE32-7B38594E8866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db376889bc1dcb9e623e592bc374beb5de541eee","datavalue":{"value":{"entity-type":"item","numeric-id":3197989,"id":"Q3197989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905995$2CA1AD83-9D67-468D-83BD-EC463F39F7B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac61c81b39f7dbd064ed2a7928ece1db8f430082","datavalue":{"value":{"entity-type":"item","numeric-id":4883222,"id":"Q4883222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905995$09F060C0-6EB2-4CB8-8B96-89D9C91BAA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54246d52539dcea7c8608656f8b200780da28622","datavalue":{"value":{"entity-type":"item","numeric-id":1144638,"id":"Q1144638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905995$939650E3-454C-425A-97CF-902BB8278CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f7b544017d9b695c78cc7383e4d926924ad901e","datavalue":{"value":{"entity-type":"item","numeric-id":3693678,"id":"Q3693678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905995$D08E158A-B5F5-42B0-9E22-828A0C0DA522","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d02abe315335d7cf4f7be952f48c968ba67508ea","datavalue":{"value":"https://doi.org/10.1007/bf01181872","type":"string"},"datatype":"url"},"type":"statement","id":"Q1905995$0A2E5551-8882-4F25-B441-1E30FD7E935E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8de4c48c6855f2039b61c8c647eec316cabaa78","datavalue":{"value":"W1986048956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905995$70EA44AD-CBA7-476D-B910-BC87B2429870","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecff18db035fd622dfc5120cac8aff9aa5f7ef1f","datavalue":{"value":{"entity-type":"item","numeric-id":5927533,"id":"Q5927533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35f911b7f06bbf3d0f33dae49e0a71838485fa1c","datavalue":{"value":{"amount":"+0.7989063262939453","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":"Q1905995$7B66B2D8-D815-46C3-AB1C-5F69E2F315A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28c5fec201048092a17c3ffed4e7f6ecaf49e382","datavalue":{"value":{"entity-type":"item","numeric-id":1815300,"id":"Q1815300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6238fb86622645f8c7dee24214c5668521b3edc9","datavalue":{"value":{"amount":"+0.7777625918388367","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":"Q1905995$1B218DF4-F1DE-436E-BB9D-B78D7475C7B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ad5f4ffd3cf2247f18be7b0dbcf6224d85fafe","datavalue":{"value":{"entity-type":"item","numeric-id":1295730,"id":"Q1295730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6238fb86622645f8c7dee24214c5668521b3edc9","datavalue":{"value":{"amount":"+0.7777625918388367","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":"Q1905995$EB6F836F-2F54-439F-ACA4-F9F03B121FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"139b2c52e5edf25d9aa72f0a871f714f9f4c5065","datavalue":{"value":{"entity-type":"item","numeric-id":1910730,"id":"Q1910730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73a544ade3e4e238a36ede4686c1d31b4ae750b3","datavalue":{"value":{"amount":"+0.7773480415344238","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":"Q1905995$19A598B5-AA51-41B2-BEB2-A66EBA5E2034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef4254c535e4d8704b77367b194df0e43040e878","datavalue":{"value":{"entity-type":"item","numeric-id":1295565,"id":"Q1295565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dddfd70d5b39a86d75fc2f68ad6d79f435355af9","datavalue":{"value":{"amount":"+0.7736261487007141","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":"Q1905995$0711237D-8CCE-4F6F-A488-B9727275AB72","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cosheaves and distributions on toposes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cosheaves_and_distributions_on_toposes"}}}}}