{"entities":{"Q1805914":{"pageid":1816656,"ns":120,"title":"Item:Q1805914","lastrevid":72997476,"modified":"2026-04-14T09:16:52Z","type":"item","id":"Q1805914","labels":{"en":{"language":"en","value":"Localizations as idempotent approximations to completions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1355520"}},"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":"Q1805914$60CB1D3D-8642-4393-86FB-ECC088A31BAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d752bd03b2404cd7bd11aefe2cf26e79a75001cb","datavalue":{"value":{"text":"Localizations as idempotent approximations to completions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1805914$EF75BFAD-CB42-42F3-98B0-EAA44875E109","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93e7e06c0e1fdaf8610bd6fc5cab299109a1ad36","datavalue":{"value":"0931.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805914$A995A847-AF75-45C1-B9C2-6D34C0CC77FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c05e23c3cec33b31e552bfa1c60fa222c5fe9e77","datavalue":{"value":"10.1016/S0022-4049(98)00074-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805914$FB0BBB7B-22B9-4801-995A-C47DFC6345AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9826cce155530d9c139226ef04dbbd31fa31360","datavalue":{"value":{"entity-type":"item","numeric-id":189956,"id":"Q189956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805914$C83B5EFE-1D68-4059-84C1-000D2E67AB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5c575d927ee816d72c1bb0efac4ecc63853b006","datavalue":{"value":{"entity-type":"item","numeric-id":1082564,"id":"Q1082564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805914$E523CC3A-16BF-4F0A-8B3F-5C84FCCAF52C","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":"Q1805914$7CD31A1E-EB83-4417-8023-1FFF5319E935","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233d1da9a271e35b5bf8140accee545c863e21aa","datavalue":{"value":{"time":"+2000-02-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1805914$07B17E0E-23F1-45D3-B485-1588A4DA20B6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"35f24368b9f7cea6dcf5cb6a243b45dffa6b9a79","datavalue":{"value":"The authors observe that, given a monad \\(T\\) on a category \\({\\mathcal C}\\), an idempotent monad \\(\\widehat T\\) on \\({\\mathcal C}\\) rendering invertible the same class of morphisms as \\(T\\) is an idempotent approximation to \\(T\\) in the sense that there exists a natural transformation \\(\\lambda:\\widehat T\\to T\\) which is universally attractive. They take the first property as the definition of an idempotent approximation and derive some general properties which are to lead to a better understanding of the relationship between localization and completion.   The paradigmatic example is given by the category of pointed \\(CW\\)-complexes and homotopy classes of maps. There, for a class of commutative rings \\(R\\), the Bousfield-Kan \\(R\\)-completion functor \\(R_\\infty\\) is part of a monad \\(T\\), which however is not idempotent. On the other hand, the class of maps \\(f\\) such that \\(R_\\infty f\\) is a homotopy equivalence is the class of homology equivalences with coefficients in \\(R\\). Hence the \\(R\\)-homology localization functor \\(E_R\\), which is part of an idempotent monad \\(\\widehat T\\), is the idempotent approximation of the \\(R\\)-completion.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1805914$99E23FA6-A27E-4DCA-BCDB-BD2784BD1F0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805914$47E945CD-D8F2-4F7D-9455-DC389EFCC7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a626f2bdfa0328af9d23fb451b774749f3536d8","datavalue":{"value":"18E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805914$2866FA10-C1EE-4803-8A95-40A41A4813A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"479a672951288aabf3a4041e0fb71e1dda5dffff","datavalue":{"value":"18A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805914$563BF35B-ED85-4443-B7B0-B59471C78C35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"200d6b69173a9d139d91e0b9da12a1c08d793124","datavalue":{"value":"1355520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805914$69779FCB-6A0E-4739-B669-44882F3E6210","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810bbb973675e10b80ca8ad7f7e2a8cdca63b44c","datavalue":{"value":"pointed \\(CW\\)-complexes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1805914$DF9B9B17-A232-41CA-B287-1530179F592F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b092b450bd8cafaa8620857638e4144d97817219","datavalue":{"value":"Bousfield-Kan completion functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1805914$5C0980C9-CD31-45DE-BDE9-73C1CE5AB2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1266d0d585003db46ae1544d3231d86dd63b1b5c","datavalue":{"value":"idempotent monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q1805914$9B81B763-22BA-4F5D-9E23-BC266A0CC739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fca25a60dc9de8fb5fe05b501f9b76bd0295280b","datavalue":{"value":"idempotent approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1805914$734E9471-944B-4F8E-85FB-B3F5DB5AC21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce7111f635fc1f126061feb0ad03a7e2d9afa13e","datavalue":{"value":"localization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1805914$7EE23960-32DF-47F6-93E8-BBDBF924F8DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b8ab866f2130f494e3b07bc4d1da4f4429a9e0","datavalue":{"value":"completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1805914$ADE833C6-0203-4C04-A6A9-32647941F267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bbd2ba0d5b04aacc113e14d35f2a9d6f90d1d50","datavalue":{"value":"homotopes classes of maps","type":"string"},"datatype":"string"},"type":"statement","id":"Q1805914$0A5C3A08-61F5-4A4C-8D61-EE731548CF7F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ff3e91d5a372924a46222db4078a9111cfb5d9cb","datavalue":{"value":{"entity-type":"item","numeric-id":677851,"id":"Q677851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805914$18099FDF-F766-495D-B229-2EC884E82162","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":"Q1805914$260B540C-890C-4405-B600-38C07BEAD0EB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e7ffd4b6dd061694ccb02277cd811d1d868ed661","datavalue":{"value":"Q127956981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805914$41E741E4-9376-4AD5-8AF9-073F3BD7596F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a56294b6a76e53e1a9013da36fe74b22eab3af46","datavalue":{"value":"https://doi.org/10.1016/s0022-4049(98)00074-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1805914$8EDCB6CE-BE07-44B6-AAA3-1BCA80CBD65D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b5dfda47b726250c0538a229a67b640e99c6012","datavalue":{"value":"W2038487472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805914$A186C9BF-1CC2-4F2B-BB50-F5EAEEBD4D42","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0da442d66cea1a66bd68cbb11ce14f65b412cf23","datavalue":{"value":{"entity-type":"item","numeric-id":1903679,"id":"Q1903679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0511aef2e863f1df63f6713cc5a849014af61f47","datavalue":{"value":{"amount":"+0.7570013999938965","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":"Q1805914$B5E6B97B-0FAB-43DF-B7BA-CBC1AA474C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98e88f5c8bb7703743bd2e7e3b17e108e6bd65bd","datavalue":{"value":{"entity-type":"item","numeric-id":5248248,"id":"Q5248248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"099e97ef689474673cd2dc026ef64dd3279cdf66","datavalue":{"value":{"amount":"+0.7365432381629944","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":"Q1805914$3FA96784-AF4F-45EF-9422-FCD001E9E004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f98306b77e4d42c2bd2cce91ae75369681e16e91","datavalue":{"value":{"entity-type":"item","numeric-id":4809468,"id":"Q4809468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb74d810b9cc696bc24b80063ed45ad0c3b698b3","datavalue":{"value":{"amount":"+0.7361136674880981","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":"Q1805914$329274B3-F13C-4215-98B9-C4D91D05E631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4862e0467658399edd48d883b9c49c4c16983a5f","datavalue":{"value":{"entity-type":"item","numeric-id":498730,"id":"Q498730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dc72f1466153ffada271cc49fff9529b0c126ee","datavalue":{"value":{"amount":"+0.7282840609550476","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":"Q1805914$300CFCFD-93D3-46F2-872E-D6E7418FE780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e8a3f5b5134405dbca9a94a8b60daf9c7504b59","datavalue":{"value":{"entity-type":"item","numeric-id":4887584,"id":"Q4887584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d9b98839a7dafb197357917bbcfd171ab479ac3","datavalue":{"value":{"amount":"+0.7212644815444946","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":"Q1805914$F9BDAD91-B717-49EC-BA5C-CD7FFB47D7BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Localizations as idempotent approximations to completions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Localizations_as_idempotent_approximations_to_completions"}}}}}