{"entities":{"Q507065":{"pageid":508832,"ns":120,"title":"Item:Q507065","lastrevid":62356332,"modified":"2026-04-11T05:32:08Z","type":"item","id":"Q507065","labels":{"en":{"language":"en","value":"Pro-categories in homotopy theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6680257"}},"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":"Q507065$2EF3138F-54A3-4A35-8BE1-EDDCDBA56A89","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3948c7d792056c89462a5fa1c142a1dde24c28c","datavalue":{"value":{"text":"Pro-categories in homotopy theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q507065$45501103-6E7C-4F72-AD76-67FB28F1E556","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e7f91890f47f2dd848f7a997edaf7fff7d186fd","datavalue":{"value":"1360.18025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507065$4A085B90-1D80-4690-9285-32BBCFBCF4C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ed0b14fed781875c3ac33893b74b27a9bd15d57","datavalue":{"value":{"entity-type":"item","numeric-id":246347,"id":"Q246347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507065$8822A41F-F084-419D-A0B0-B46D417A17CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"faf466113a48cff4bbd62b76ed1cbdbf6e228c48","datavalue":{"value":{"entity-type":"item","numeric-id":245235,"id":"Q245235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507065$FE19425E-C489-49FA-8B41-CEDE9B29CFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b5f83111d8628e8a4c44727f481fb2939e3201c","datavalue":{"value":{"entity-type":"item","numeric-id":505355,"id":"Q505355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507065$C941A1B7-CC44-451F-A74C-FD548A07A5E4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b4b9002cf27b8127c357783774cf1eb8e2902202","datavalue":{"value":{"entity-type":"item","numeric-id":166428,"id":"Q166428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507065$75DAAF32-4013-4600-84EC-46E855822186","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f077fc2ce013ec6748bf1bf77b2e03417e1ed3a4","datavalue":{"value":{"time":"+2017-02-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":"Q507065$4742CE6E-018F-4A23-9138-2BB9A2352713","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a594ed4119950828a196d8a6eb1d653f7682239","datavalue":{"value":"https://arxiv.org/abs/1507.01564","type":"string"},"datatype":"url"},"type":"statement","id":"Q507065$AD2190CA-D86D-4C86-A262-D46BE931110F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5f7429b696877a4a9a0908a505e3164f13025833","datavalue":{"value":"If \\(\\mathrm{Pro}(\\mathcal{C})\\) denotes the free completion of \\(\\mathcal{C}\\) under cofiltered limits and \\(\\mathcal{C}_\\infty\\) the \\(\\infty\\)-localization of \\(\\mathcal{C}\\), then the main result of the paper states that the natural map \\(\\mathrm{Pro}(\\mathcal{C})_\\infty \\to \\mathrm{Pro}(\\mathcal{C}_\\infty)\\) is an equivalence of \\(\\infty\\)-categories whenever the induced model structure on \\(\\mathrm{Pro}\\!(\\mathcal{C})\\) exists (the pro-category of an \\(\\infty\\)-category is defined by a similar universal property). Three applications of this result are given. The first application gives a sufficient condition for the \\(\\infty\\)-localization of an \\(\\omega\\)-combinatorial model category to be \\(\\omega\\)-presentable. The second application shows that the topological realization of any Grothendieck topos coincides with the shape of the hypercompletion of the associated \\(\\infty\\)-topos. In the third application, it is shown that several model categories arising in profinite homotopy theory are indeed models for the \\(\\infty\\)-category of profinite spaces. As a byproduct, the authors obtain new Quillen equivalences between these models, and also obtain an example which settles negatively a question raised by G. Raptis.","type":"string"},"datatype":"string"},"type":"statement","id":"Q507065$1D09F999-8776-4CBC-82D4-14B87F55553B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b83d2f7098073ec0ce332f8e7bca96a6bda9b9ca","datavalue":{"value":{"entity-type":"item","numeric-id":589562,"id":"Q589562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507065$2DF75F59-1BD6-4668-A1AD-E7BB925A5CFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c71f3ae49cb2a1eeef9914b0fdcd1f33e90aac9c","datavalue":{"value":"18G55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507065$CE6E3D5B-F366-4AB8-B794-19554E4F2A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507065$8FBEF7D2-17BD-40DE-9CBA-970E97DBF324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d35289bedc80b1085d64d820313e4cb71e428c91","datavalue":{"value":"18C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507065$F61D8808-9C4D-44B4-82F3-14BBA3DFC0F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9c44ff2a0d16823db6a9ea4df35f08eec27c912","datavalue":{"value":"6680257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507065$E9A17957-B56B-4588-96AE-3409D6A3D492","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2994c32e6418bfa7ad6006e98980d64a9bd4b28d","datavalue":{"value":"pro-categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q507065$BCD9B438-3E4B-4D41-952A-D2AF731D6730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64530bc5b6c7b365bdbe986a8466553b2ec453e9","datavalue":{"value":"model categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q507065$113EE02F-B48D-4198-BEFF-022CCA698B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1716750e079664e241cb89c90f295b87ba8af9f9","datavalue":{"value":"infinity-categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q507065$D3F7C614-F671-4672-B9AF-4EE23D3980CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf5c0d24e50c449fac454ed84248bf428178ca9a","datavalue":{"value":"\u00e9tale homotopy type","type":"string"},"datatype":"string"},"type":"statement","id":"Q507065$26A0DAD9-47D0-46C6-832F-9A73ADB97111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27b4f2b50199815748f444f1f08fe6916e9c807c","datavalue":{"value":"profinite completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q507065$8AD8005C-0500-4818-8796-05FA9A1197D4","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":"Q507065$F62CF390-F929-410D-ABF0-E012F2B98149","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d572844a7332f7dc6fc7ed2e14dad6a5a787ac12","datavalue":{"value":"W3103860062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507065$F4C32210-6ECF-4F01-9BEF-E2A68F9A2D21","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d16301365517137a1a5b58a1f14c08c46ecb8c2","datavalue":{"value":"10.2140/AGT.2017.17.567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507065$61DA5AB4-2C52-4BE0-800C-C8C01886C4BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0459475f50a1fcf9183817ff60a1b7bd444e5757","datavalue":{"value":{"entity-type":"item","numeric-id":2168897,"id":"Q2168897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87df1009c2af1aa919fc1044ecf18e6d0ce8f0db","datavalue":{"value":{"amount":"+0.8226678967475891","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":"Q507065$7F7179AA-0E65-4883-A69F-07789EDC8D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9656cfe8c4c1afda5669206aadc6d17ae7266ce","datavalue":{"value":{"entity-type":"item","numeric-id":873717,"id":"Q873717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c19a12c37c4792b7119db1f5e07f3ee7b83b3e3","datavalue":{"value":{"amount":"+0.8196533918380737","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":"Q507065$7208E18A-7379-4994-88E5-D34CBA4928F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a742cc53c4a851d40e0a76e133988d7aaac4e77","datavalue":{"value":{"entity-type":"item","numeric-id":2719049,"id":"Q2719049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f568d6a0cc49f3c57db17aa970b2308249881d94","datavalue":{"value":{"amount":"+0.8107070922851562","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":"Q507065$BBEA8754-7389-41B2-A3DA-AEAD4BB6D180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1eaa253f9a7027ecdca7b3ab6fafc88667c7ad5","datavalue":{"value":{"entity-type":"item","numeric-id":2517769,"id":"Q2517769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f568d6a0cc49f3c57db17aa970b2308249881d94","datavalue":{"value":{"amount":"+0.8107070922851562","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":"Q507065$D1053269-5F6A-4057-888C-E8DE3960AAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9feb169a9d65b02c29f58a1b9023a6f3c5ad524","datavalue":{"value":{"entity-type":"item","numeric-id":4811761,"id":"Q4811761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e80876e4a28f55fa12d4933c46b735879faa2b26","datavalue":{"value":{"amount":"+0.8055086135864258","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":"Q507065$FCBDCABD-926C-4ED3-B29C-0350E2444F62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pro-categories in homotopy theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pro-categories_in_homotopy_theory"}}}}}