{"entities":{"Q664690":{"pageid":666539,"ns":120,"title":"Item:Q664690","lastrevid":63482484,"modified":"2026-04-11T13:27:57Z","type":"item","id":"Q664690","labels":{"en":{"language":"en","value":"Precosheaves of pro-sets and abelian pro-groups are smooth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6011316"}},"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":"Q664690$3B83BB27-5875-4E02-A2B6-F4D16B4BDE42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93aad681bc71d5e1cbad47de6bd37749efc0b751","datavalue":{"value":{"text":"Precosheaves of pro-sets and abelian pro-groups are smooth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q664690$94CCAAF2-66DB-4684-B059-FE31E510AF90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd829427c0774ce955d2f769313687ed17940b12","datavalue":{"value":"1251.18009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q664690$77DF1AB9-6D57-40F9-B6A9-FE11009361F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"569c87b98cc21a17fbe187386a7f01dfb38096d4","datavalue":{"value":{"entity-type":"item","numeric-id":187314,"id":"Q187314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664690$EA8EBB5B-1857-4E0B-B342-B38CBFBDCFD0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664690$F36C8817-E606-495A-8627-F6EB2D90504B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7dbc7b8b645134a5ef8ae89c64a2b1886d53abc0","datavalue":{"value":{"time":"+2012-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q664690$2747FB2C-7B8C-4B26-8DAF-7C22C9464C11","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3da11f5bcd4515afdbf7862a79aee04b881f2b92","datavalue":{"value":"https://arxiv.org/abs/1105.3167","type":"string"},"datatype":"url"},"type":"statement","id":"Q664690$4DD0F3B6-744E-4B12-8F5E-A2E70ABFD592","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2bd22e5c529785b4d91a1b5ec56f6cac41e32e0b","datavalue":{"value":"The standard theory of sheaves of sets or of abelian groups depends heavily on the exactness properties of the categories \\(\\mathcal Set\\) of sets and \\(\\mathcal Ab\\) of abelian groups, such as the fact that filtered colimits commute with finite limits. The opposite categories of \\(\\mathcal Set\\) and of \\(\\mathcal Ab\\) do not share these properties, and so the resulting theory of \\textit{cosheaves} is less rich than that of sheaves. The author's response to this problem is to replace these opposite categories by their Ind-completions (free completions under filtered colimits). This amounts to considering cosheaves of pro-sets or abelian pro-groups. The intended applications are to shape theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q664690$6532B572-1F4C-4F72-9798-12A03D3EB889","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ab254842a87ce3d53b31ef54bff992e81a667809","datavalue":{"value":{"entity-type":"item","numeric-id":194948,"id":"Q194948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664690$1E8ED5A3-E2EA-467B-8CC4-2149239EF608","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q664690$0DA7EACA-444E-4AD2-8B4E-4B2B772B96BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0ee7ce317264382861edb63c533e11ee885fc54","datavalue":{"value":"18F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q664690$C395E64D-D9B0-48F2-AAD2-2F199C6905CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"50fd92a2fe55b962e56af2c9dd1360d8ace52776","datavalue":{"value":"55P55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q664690$070F2202-918C-4F31-9ABF-DA04545A517F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d66d85557490baded95456c5eb048dade7b71194","datavalue":{"value":"55Q07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q664690$C1022D56-518D-4ADB-8C1C-E8B64A138A85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"769ec3be4d99a296bfe608b7c23fec02c3cc923b","datavalue":{"value":"6011316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q664690$11116AF5-5DB6-427E-955B-B30F54D30E61","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed07eacc0aa01e85123c73410f514b6e5bf93cd6","datavalue":{"value":"cosheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q664690$C83D3519-9F4F-4321-9BF1-7E0607BEDB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72db4b4daff6aaa4b91e6fb5de6557b16c2690f5","datavalue":{"value":"precosheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q664690$BF58D8C2-332A-4E07-9B94-7579DCA43978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"764a8820bbe92fea10c1e8ab462b8efa7cbef3b1","datavalue":{"value":"pro-sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q664690$B1E9E902-4E76-4570-A28F-901734D09967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"025e41c0f0dca38aa0cb6951ca4928cc2ec0d9d1","datavalue":{"value":"abelian pro-groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q664690$04A8961E-E0F6-45C9-AA45-BD2A93DF6993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17268a61e57d0ece17e6a1044d41e26f72842dde","datavalue":{"value":"pro-homotopy groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q664690$5DDA0CF7-0AA8-4954-A170-FDBEF6356AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ced35e68e0527497fb160b7b549db17a3ea89bb5","datavalue":{"value":"pro-homology groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q664690$86CA049E-2EE1-4F6F-96D3-C5FA3BDD4E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ad4b44453bcc4b5cb5dae076fc06374854b2c0","datavalue":{"value":"shape theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q664690$113E6673-EBF6-4BA1-8A1B-814ED3958AFC","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":"Q664690$02AE06CD-D5AF-42FB-A096-F0A83798CD64","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18312d07e8b861c1ebace5a7d391e81d46c2f9d1","datavalue":{"value":"W2964180977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q664690$1449BE09-7D6C-4F87-B4CF-1EF177E516C4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"19305b330da3b4486eb5c5afbc932a0ba4760bd4","datavalue":{"value":{"entity-type":"item","numeric-id":2534976,"id":"Q2534976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664690$A6B26FC4-9343-466A-A2F6-90E446BCE844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc384564fb5aae84fc1c1c0d0e45443e04b69dc2","datavalue":{"value":{"entity-type":"item","numeric-id":5609064,"id":"Q5609064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664690$1433BAFB-4E6A-409A-9569-E0211E31D6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c81d5db45138c690813ea9089eb17297df0e094","datavalue":{"value":{"entity-type":"item","numeric-id":2527450,"id":"Q2527450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664690$A4811630-6EF1-4228-9F26-FB5209E2BD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19142de4ba3466e44b3ce81a6751942afb763833","datavalue":{"value":{"entity-type":"item","numeric-id":3125206,"id":"Q3125206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664690$0404645D-0C0D-4E08-B37A-D3885EF0C458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67c60ef1865b27a7a4a49c43ea5a677cffc70518","datavalue":{"value":{"entity-type":"item","numeric-id":5465517,"id":"Q5465517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664690$E40625CD-CB89-4930-A383-540AD774E635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16abe176d9864330d2ddc28ec96325fb1719ffab","datavalue":{"value":{"entity-type":"item","numeric-id":4267966,"id":"Q4267966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664690$A1B9B5A0-FE01-4261-B73D-4BA545CE0029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41cec31d54621a40d6b6edccee476288dff0162d","datavalue":{"value":{"entity-type":"item","numeric-id":5627404,"id":"Q5627404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664690$5974CB04-7524-4E72-B214-432879D39DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15bc665cac446f2159f702066f1520fe93473a03","datavalue":{"value":{"entity-type":"item","numeric-id":3812925,"id":"Q3812925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664690$85C62973-65FD-4EE9-8414-305D8E8FE8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92be1aaf19dc1a1687724e4de0f324f279263aca","datavalue":{"value":{"entity-type":"item","numeric-id":2551456,"id":"Q2551456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664690$133AF597-3EFA-4FB3-833D-B88334E28DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"733512e4b670deffb9390e3f0519a162156c004b","datavalue":{"value":{"entity-type":"item","numeric-id":1337399,"id":"Q1337399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664690$4DBC6901-097B-4FF9-A209-23D2181F626F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d99ef065e9eaf81e5af984da4d9b752e8c50f69","datavalue":{"value":"10.1016/J.TOPOL.2011.12.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q664690$8ECA9E9D-09CC-4994-A21D-E4222EF0A88C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"962056a78bc57eee33026e61919bfe6990432367","datavalue":{"value":{"entity-type":"item","numeric-id":5163481,"id":"Q5163481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"556edaff73a188f9fa8b95403f6812096dda50ad","datavalue":{"value":{"amount":"+0.8199000358581543","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":"Q664690$AB8744E7-3E25-4724-B320-BEFFAC2A656A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c28a26c408f3821f5916058c4c83e29cd67edc83","datavalue":{"value":{"entity-type":"item","numeric-id":2963449,"id":"Q2963449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef688b302611dfe75ae2be6ddcd56e743e6e8799","datavalue":{"value":{"amount":"+0.8135172724723816","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":"Q664690$AD898648-ECA5-4262-BF0B-D91119C78C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"919b88cfd87bab972317598aace10421bff3e57c","datavalue":{"value":{"entity-type":"item","numeric-id":4969290,"id":"Q4969290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42cc0f5661f9a927d8b7fa7adef0a053ce6171bc","datavalue":{"value":{"amount":"+0.7845432758331299","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":"Q664690$DCF07457-1B4C-4D81-850E-1AF2F64A11FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"345db7fbfc7ca5f7c0ba43b061d571057cb5ba8a","datavalue":{"value":{"entity-type":"item","numeric-id":4293596,"id":"Q4293596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9767631fe5feaa919ef1959f8624c62627fd0b10","datavalue":{"value":{"amount":"+0.767906904220581","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":"Q664690$27C44FE8-7D85-4A38-BAE6-A16FA00AF66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faf76018cc3d8d607b3cdc72e854604f6846f700","datavalue":{"value":{"entity-type":"item","numeric-id":3812925,"id":"Q3812925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25a0242774751ab21aec18d5a3994814ed756422","datavalue":{"value":{"amount":"+0.7472299933433533","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":"Q664690$51B4388B-A358-486C-BABC-577A622C410E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Precosheaves of pro-sets and abelian pro-groups are smooth","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Precosheaves_of_pro-sets_and_abelian_pro-groups_are_smooth"}}}}}