{"entities":{"Q1295689":{"pageid":1306439,"ns":120,"title":"Item:Q1295689","lastrevid":68777751,"modified":"2026-04-13T01:59:42Z","type":"item","id":"Q1295689","labels":{"en":{"language":"en","value":"Left exact presheaves on a small pretopos"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1308301"}},"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":"Q1295689$F2C64BC7-FC31-4FFA-90A6-F8F9B36E775B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bfa85aa8ae0231e2cbb5e24b28768555bf5d67fb","datavalue":{"value":{"text":"Left exact presheaves on a small pretopos","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1295689$D11E551C-DE7D-408F-B799-6F724EED6DDC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"240eb1b086033de9aa121b2416cdd0d03fa31aeb","datavalue":{"value":"0926.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295689$663868B3-1579-48E3-90C6-70FDAA2CD790","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a6ac03c16e165292456aac062ac338c0754cae8","datavalue":{"value":"10.1016/S0022-4049(97)00149-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295689$8B37537D-84EF-47C4-B5D3-552DC85B2F29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6fd9186f80ce34f5999de021498bb0a9dfab7a3","datavalue":{"value":{"entity-type":"item","numeric-id":861860,"id":"Q861860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295689$6F0E8386-6218-41F2-B3BE-17E3391B1796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dc7a1a78cd42c36bb7a7c803757765143408266","datavalue":{"value":{"entity-type":"item","numeric-id":1121976,"id":"Q1121976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295689$B244C125-694A-4BFF-B8BA-1A76EF7FA9FB","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":"Q1295689$A513A18B-AD0B-4DEB-B1F6-DED05C443117","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f85394037e304830a2de23d467ba1be222952a75","datavalue":{"value":{"time":"+1999-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1295689$009617CA-F838-4B2D-92C2-0EDB90F8B4AE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"546e42fe93840c66d5c42b08d55c1642f6094f0e","datavalue":{"value":"Let \\({\\mathcal E}\\) be a small category with finite colimits. A left exact presheaf on \\({\\mathcal E}\\) is a contravariant functor from \\({\\mathcal E}\\) to the category \\({\\mathcal S}et\\). They form with natural transformations the category \\({\\mathcal L}ex({\\mathcal E})\\). In this paper it is proved that whenever \\({\\mathcal E}\\) is exact then \\({\\mathcal L}ex({\\mathcal E})\\) is exact precisely when in \\({\\mathcal E}\\) the equivalence relation generated by a reflexive symmetric relation \\(R\\) is a finite iterate of \\(R\\). When this condition is satisfied and moreover \\({\\mathcal E}\\) is a pretopos, then \\({\\mathcal L}ex({\\mathcal E})\\) is a topos. Various examples and counterexamples are given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295689$A1C59656-8D5C-422C-892E-56DF0A07DC27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295689$4A613807-51FB-42CA-830F-A6135A67F35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295689$A5C4A283-E579-49EA-86D6-10CAFA0B7ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f04348da9d1ca8b015ef464713838d83a8af937e","datavalue":{"value":"18A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295689$9FF52339-4C1E-4DBE-91CE-8D191B5D625F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295689$80493E90-36FB-4B09-9012-BC7BAE35A788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"236f8dc644a7bd6fe263e5304b58c4d554297222","datavalue":{"value":"18E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295689$57D2BCD7-26A3-4EA1-B5CC-A9008F555686","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a7b08ce4106663091cc11021b84a93f06ad0110","datavalue":{"value":"1308301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295689$2C05FF9C-7607-4908-B65B-6FEAEA82C3A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bb1666c39f46b593da3eb126aed227564722a2e","datavalue":{"value":"presheaf","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295689$E3AE485F-50D0-4BA7-9B3D-A6F5808260D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6e44db9f5d2d8550a4c3cd4ab7ec082a7834a67","datavalue":{"value":"exact category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295689$E443EA02-3C64-4A94-AFED-5D08D8D87F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"463bfb59fffcfc4912d2e48763e12f5a2e76d98c","datavalue":{"value":"pretopos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295689$EDDF783B-197C-4758-9545-4587EB1C524C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"385ec5ee567d17bbd2e6c7af4270fade5c5f2e55","datavalue":{"value":"topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295689$A036D556-3987-49AA-9A57-2AFA95ADCB9C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5f23a2b26154ae1e4026bd6fa194d4b76df2fa47","datavalue":{"value":{"entity-type":"item","numeric-id":171472,"id":"Q171472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295689$08BA5B4B-9187-425A-9844-B94F1401D197","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":"Q1295689$CB582C65-6917-4756-A018-F18BCB288CED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a365e85742d3ec2bb81986515465d29abc5f1b09","datavalue":{"value":{"entity-type":"item","numeric-id":5628320,"id":"Q5628320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295689$4988D361-3C78-4402-88FD-EDC99674CA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"311e1cd0f981fc637dfa521d731484d6fd8fe089","datavalue":{"value":{"entity-type":"item","numeric-id":1084490,"id":"Q1084490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295689$02EFAADB-8A49-48B3-9F0B-5124221A1744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1781a2e12543aa4e01db1f5b7cc2a52018afc8cd","datavalue":{"value":{"entity-type":"item","numeric-id":3809979,"id":"Q3809979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295689$6AE6D117-5CC5-4D11-9D4F-8EA22088EB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbbe31d48295757074b165aba57e6bd2e90ca6d4","datavalue":{"value":{"entity-type":"item","numeric-id":1140706,"id":"Q1140706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295689$2A9E476B-B5BF-4AC7-BD94-DEE70CADD2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5065627c549136445d434d7d65a23fe61f4d77a8","datavalue":{"value":{"entity-type":"item","numeric-id":4856547,"id":"Q4856547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295689$115152DE-8072-4554-B6BB-94A40B79D4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42cd2523d9e750eddecb867db4edd6c8125a20cf","datavalue":{"value":{"entity-type":"item","numeric-id":1176678,"id":"Q1176678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295689$444ADDD3-F62C-4A0D-88F3-0333E076A2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"598c552222e6c10304dc0453966f418f7c6f94f0","datavalue":{"value":{"entity-type":"item","numeric-id":1097957,"id":"Q1097957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295689$2E6EBB92-439C-45E0-B330-A628E3346AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25780d6905ca80e4e5af3dc6014cbb0d41e09628","datavalue":{"value":{"entity-type":"item","numeric-id":1320341,"id":"Q1320341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295689$9DB81D57-BF51-4C15-B226-763971089A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9156f5884f44114f1be78a4ba12a267c2c9d5f13","datavalue":{"value":{"entity-type":"item","numeric-id":755877,"id":"Q755877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295689$09BAE572-8802-44E0-97A1-D711B1BA2287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c81c28fe769ca56c4a6c1bc21ea5dcda0012d1d","datavalue":{"value":{"entity-type":"item","numeric-id":687572,"id":"Q687572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295689$20F5ECFF-FF44-41F2-B7C3-17DD6FAC71B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf86a0880718d07240a302dd1bb41c90a3eb08f","datavalue":{"value":{"entity-type":"item","numeric-id":1123255,"id":"Q1123255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295689$088CE079-28B3-4CE3-8310-7CCF47FD8995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f372f7cd948f5459a57afe542e8373b4f0134f09","datavalue":{"value":{"entity-type":"item","numeric-id":917678,"id":"Q917678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295689$B582F077-AE0B-4C2B-B541-22F0F35DCCB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d036040bf3ed5c2e1ffac6f62b9b04d9e598837b","datavalue":{"value":{"entity-type":"item","numeric-id":5665316,"id":"Q5665316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295689$332D2C54-17D8-4F29-8747-99BE31A56543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d3064dca2a3425298e972d3839fd4ea24cef47","datavalue":{"value":{"entity-type":"item","numeric-id":2548649,"id":"Q2548649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295689$135F40EB-86E3-41FB-9A3C-AEFDCC731213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60a9ec77df6ca5e9a15595010488ef6809adf2d","datavalue":{"value":{"entity-type":"item","numeric-id":5661643,"id":"Q5661643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295689$8A14F9F1-4BD6-4980-946C-3D352C449F25","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":"Q1295689$FC850046-B95A-45B6-A78B-13A8B51C6AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acb7cfa5e4ecbafb917d80d750e5df240004e1dc","datavalue":{"value":{"entity-type":"item","numeric-id":5670773,"id":"Q5670773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295689$2030A9B5-0FFF-4D22-B188-29C156C649BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87fd1fe503efce7c6483b7580e08699a58947c59","datavalue":{"value":"https://doi.org/10.1016/s0022-4049(97)00149-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1295689$5E8B2F60-E6DA-46F0-A0EF-C94B33A9BED6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6554cd12daf57778c82967f71f083e0eee96315","datavalue":{"value":"W2095174709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295689$14A34D99-00D1-4CFF-B28E-0BDF019EE3AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41b1f515eecfe89dfe025606bc5f6291b31e2263","datavalue":{"value":{"entity-type":"item","numeric-id":916774,"id":"Q916774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65034d2a0f51ce6e65be38c791a706565d0ee65d","datavalue":{"value":{"amount":"+0.7568547129631042","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":"Q1295689$CFC524A0-B29C-4F92-B066-49F48DD68880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ab41456627edf2aa1f1ef8760b5fe3c490ea173","datavalue":{"value":{"entity-type":"item","numeric-id":2884481,"id":"Q2884481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18f0317f854f3a97956ce089ebce4f41bf556fd4","datavalue":{"value":{"amount":"+0.7201403379440308","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":"Q1295689$29C96792-752F-4787-997D-AD37AD7F82EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fba6fb445e253e74a9a42d6b2839036e54b7991","datavalue":{"value":{"entity-type":"item","numeric-id":2432577,"id":"Q2432577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef43cc521dc059eddb5ab139dfd646e0c2a54b22","datavalue":{"value":{"amount":"+0.7174111604690552","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":"Q1295689$F2432769-2765-4286-ACDC-E418154270AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e6bce8b72669d7a1d2f578f5b8a93283b01876c","datavalue":{"value":{"entity-type":"item","numeric-id":2756989,"id":"Q2756989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85272c701b9416543b3ebd6c451b0f8debabd5e1","datavalue":{"value":{"amount":"+0.7159592509269714","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":"Q1295689$D8D8F729-B03A-4A25-B733-FBA3CFF10B9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Left exact presheaves on a small pretopos","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Left_exact_presheaves_on_a_small_pretopos"}}}}}