{"entities":{"Q886236":{"pageid":888084,"ns":120,"title":"Item:Q886236","lastrevid":65120790,"modified":"2026-04-12T00:27:17Z","type":"item","id":"Q886236","labels":{"en":{"language":"en","value":"Cocomplete toposes whose exact completions are toposes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5167560"}},"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":"Q886236$11B2AA2E-BD8B-4070-BA78-17C722541394","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74c324edd3269e61aa88a7ae6b17ee9b6f308cc1","datavalue":{"value":{"text":"Cocomplete toposes whose exact completions are toposes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q886236$E066B3A6-0DF6-41D8-A04A-072A0E168FCE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de7c4db1565d6a4e591e7c17137115f2d30f36f0","datavalue":{"value":"1120.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q886236$0ED12227-8FEE-401A-B159-3E27C6C7AD22","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":"Q886236$54C243FD-D93C-46BF-B6B3-DF6096D4BD2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24f3899628acc276ddc2402f7513107e826fc759","datavalue":{"value":{"time":"+2007-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q886236$6A6C201D-9819-4366-9504-C1E6B5087DB7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d5b62e7d2eab13eb3382be9d5636c736fed9fbd","datavalue":{"value":"http://sedici.unlp.edu.ar/handle/10915/83213","type":"string"},"datatype":"url"},"type":"statement","id":"Q886236$499000D9-BF88-437B-9910-6F24BD7D14B8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9fc7abcae1e684ff799d64848e2e2ea7f458d4fc","datavalue":{"value":"The problem of characterization of the toposes whose exact completions are toposes is stated as an open problem in the last paragraph of p.131 of \\textit{A. Carboni} [J. Pure Appl. Algebra 103, 117--148 (1995; Zbl 0839.18002)].   In this paper the author shows that if \\(C\\) is a cocomplete topos, then if the exact completion of \\(C\\) is a topos, then every indecomposable object in \\(C\\) is an atom. As a corollary the author characterizes the locally connected Grothendieck toposes whose exact completions are toposes. This result strengthens both the Lawvere-Schanuel characterization of Boolean presheaf toposes and Hofstra's characterization of the locally connected Grothendieck toposes whose exact completion is a Grothendieck topos. Also, the author shows that for any topological space \\(X,\\) the exact completion of \\(SH(X)\\) is a topos if and only if \\(X\\) is discrete. The corollary in this case characterizes the Grothendieck toposes with enough points whose exact completions are toposes.","type":"string"},"datatype":"string"},"type":"statement","id":"Q886236$068CB432-A8AE-4362-8D48-983C508DCBBB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"479a672951288aabf3a4041e0fb71e1dda5dffff","datavalue":{"value":"18A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q886236$19C2E971-51A9-4772-95CF-197546075B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q886236$9A27F805-E13F-4CB2-9108-77EA408E3B95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"243e95dd6f67c3478b5a4b5daa23d3084030791a","datavalue":{"value":"5167560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q886236$E43E30C6-5B02-4017-8826-B6D5796F91C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7deb9f2a3ffcc40e8e3f62c20902d0f7a32693d4","datavalue":{"value":"indecomposable objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q886236$40D3F969-42AF-4D4D-9EAE-FC3F70ABE5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"125b37015f2b508fd5055b7e63ab819371ab92c0","datavalue":{"value":"Grothendieck topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q886236$3D76E393-AB7B-425F-8E3C-85B92491091D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba4fd453e4493950101ebbd16601b7350cce053e","datavalue":{"value":"complete topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q886236$5F7F7FC9-4CC3-4AA6-9A61-7E8C464E40F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c25d5c38162fd6a6cff11cfb7d95b0e0420c0633","datavalue":{"value":"Sierpinski topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q886236$0B3936C2-B90A-4460-BF27-BAF1A694472D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ae2377400284661ec6d82c2d48a16b8df164793","datavalue":{"value":"functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q886236$C3E1BE1F-EBC7-41E2-AA69-00AA6CBDE55A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab32c1f90131ab1a3fd8f83a8169013b996be532","datavalue":{"value":{"entity-type":"item","numeric-id":1681851,"id":"Q1681851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q886236$354741CF-1C8D-4231-873C-9C1C4794566F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"35ea846fbd37eef2bf04aa3916128060dde76b2f","datavalue":{"value":{"entity-type":"item","numeric-id":277571,"id":"Q277571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q886236$2A452CA3-7ECD-4557-A3F5-3DC82C8883D3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"55003d34719469fd0211f1869b9c85fe3739027a","datavalue":{"value":"Q112120962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q886236$35CE3A48-77F7-4FFC-BF42-18B5B9709DF0","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":"Q886236$B1AC5A56-2DB7-4131-B8CD-79BEA2A5AF9A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70365f3c0dae4cebea6bfc2e78ae70cdbd7ff32a","datavalue":{"value":"W1988667793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q886236$22E465E3-3322-41CD-A414-3F389B293ED1","rank":"normal"}],"P223":[{"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":"Q886236$A7E2AEE4-DB05-4D3B-A149-7BE6F15134C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c474289dd9e25ee23fc3092151775a30e7a4f9c3","datavalue":{"value":{"entity-type":"item","numeric-id":1903677,"id":"Q1903677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q886236$3007A7F1-F2CF-40C1-A127-31DCA1525871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e5626d25cd147a56403941848dcf8bdb7fb090d","datavalue":{"value":{"entity-type":"item","numeric-id":1380046,"id":"Q1380046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q886236$7AC6228C-ADC2-4B5B-8D2E-2FACC6A2E48E","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":"Q886236$9AAF1AB8-54BA-47B6-B9E8-BBD1F76D9714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b0460315c394111a85b86c27b16ba7dc618fad","datavalue":{"value":{"entity-type":"item","numeric-id":4896510,"id":"Q4896510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q886236$A6147C71-B90D-418A-AADE-537C39974025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f0a9885188da958c0124762509ca39d0da6b2e","datavalue":{"value":{"entity-type":"item","numeric-id":886236,"id":"Q886236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q886236$1DC9A3DA-320E-44B0-8C32-AA5CAF9B910B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47357dc7566b31a484df0badb274a2eb37dbd905","datavalue":{"value":{"entity-type":"item","numeric-id":1861488,"id":"Q1861488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q886236$E455F13A-F62B-4FCA-8DC4-A72D45169059","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e7dbd0da8890ef2465102ed8ecca23d93bdf46e","datavalue":{"value":"10.1016/J.JPAA.2006.10.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q886236$B0989C87-C397-48E0-A690-70DDC6730F11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09194dae190080008f9aeca1734cb03ab1aa4db7","datavalue":{"value":{"entity-type":"item","numeric-id":1602851,"id":"Q1602851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"555490660eaf3e517f39b4c1d4fc761519e0c034","datavalue":{"value":{"amount":"+0.7925512194633484","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":"Q886236$EF6E2683-1611-4C02-B6C6-B37C25D8528A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d9b3aaf17c60324c679a543e87bdb6a8dcef7e0","datavalue":{"value":{"entity-type":"item","numeric-id":1380046,"id":"Q1380046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddd9d4d2d2cb6e04f50bbcc254fa4ba5ed4ef552","datavalue":{"value":{"amount":"+0.7605336308479309","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":"Q886236$BD79ABD0-4AEE-442C-B761-5E7352464497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c933d5156affaeae1944796e5574a2f9a69da3a","datavalue":{"value":{"entity-type":"item","numeric-id":2919780,"id":"Q2919780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddd9d4d2d2cb6e04f50bbcc254fa4ba5ed4ef552","datavalue":{"value":{"amount":"+0.7605336308479309","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":"Q886236$50B886A1-53D6-44B1-A747-C019822CE039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b6051c3ade102904ac14df9f6942ce4045acedd","datavalue":{"value":{"entity-type":"item","numeric-id":4718482,"id":"Q4718482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b00818eb37cca5658d9730887800c5c1eb4ce8d6","datavalue":{"value":{"amount":"+0.7574350237846375","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":"Q886236$76D192BF-3E4B-4C80-802C-09EA870EAD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"926626c54d98b7a503ddff5984ebe98e43b6e660","datavalue":{"value":{"entity-type":"item","numeric-id":4226769,"id":"Q4226769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b00818eb37cca5658d9730887800c5c1eb4ce8d6","datavalue":{"value":{"amount":"+0.7574350237846375","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":"Q886236$4198B35F-0137-4078-99CC-FFA1C6DC492C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cocomplete toposes whose exact completions are toposes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cocomplete_toposes_whose_exact_completions_are_toposes"}}}}}