{"entities":{"Q1630573":{"pageid":1641314,"ns":120,"title":"Item:Q1630573","lastrevid":68230323,"modified":"2026-04-12T22:17:50Z","type":"item","id":"Q1630573","labels":{"en":{"language":"en","value":"The homotopy theory of operad subcategories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6991245"}},"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":"Q1630573$6EC6BDD5-E0F6-4A68-981B-91FDB6657424","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d90946d4bd0b8ad3d0522f7e200bbe96ebedea62","datavalue":{"value":{"text":"The homotopy theory of operad subcategories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1630573$280F74FF-F596-4ECA-A48B-724CE3761558","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8062ceccc898af83de65bb612715c8137988eef2","datavalue":{"value":"1405.18015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1630573$FB80891D-9CF5-483D-945D-135654E6AB34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b04e3c3839b8115d30baf60f0feadd3bd1fe1512","datavalue":{"value":{"entity-type":"item","numeric-id":427713,"id":"Q427713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630573$6BE2F778-6ED9-44C0-ABF5-E089CD104D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"384490defade0052c41dcbdf64e8bdde494b1b04","datavalue":{"value":{"entity-type":"item","numeric-id":290410,"id":"Q290410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630573$FC660B96-6A13-4AD2-9598-F5CB3737B28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42af9de6f13b4175f9255c3f963f6696e1319084","datavalue":{"value":{"entity-type":"item","numeric-id":863041,"id":"Q863041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630573$787DCAF0-CCBC-4CB3-9278-88E7EB5FEABC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f547af18a2692ab85e737a33938e3d90c4bee546","datavalue":{"value":{"entity-type":"item","numeric-id":260070,"id":"Q260070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630573$8F7F5D31-7069-42C5-8684-BA3DD1657FC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96254ecf16768214b618c057c6fdab7cc9632b89","datavalue":{"value":{"time":"+2018-12-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":"Q1630573$32E386AD-C099-4D5D-8142-33530F82FE47","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de8d94d6ed089fa7920bddb178dcc2a2dfeeef4d","datavalue":{"value":"https://arxiv.org/abs/1703.06093","type":"string"},"datatype":"url"},"type":"statement","id":"Q1630573$38EA3CBC-ED42-44B0-8290-A189F2BF1EF4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3f065f5d85193db6e9740322cedd50ee0bdf9709","datavalue":{"value":"Let \\(Op\\) be the category of all topological operads, and let \\(Op_*\\) be the full subcategory of topological operads \\(\\mathsf{P}\\) satisfying \\(\\mathsf{P}(0) = *\\), also known as unitary operads. (Note that this latter category is isomorphic to the category of \\(\\Lambda\\)-operads.) Both of these categories admit a model structure, with weak equivalences and fibration defined arity-wise [\\textit{C. Berger} and \\textit{I. Moerdijk}, Comment. Math. Helv. 78, No. 4, 805--831 (2003; Zbl 1041.18011)]. The authors prove that if \\(\\mathsf{P}\\) and \\(\\mathsf{Q}\\) are reduced operads, then there is a weak-equivalence of mapping spaces:  \\[ \\text{Map}_{Op_*}^h(\\mathsf{P}, \\mathsf{Q}) \\sim \\text{Map}_{Op}^h(\\mathsf{P}, \\mathsf{Q}). \\]  They also extend this result to truncated operads, i.e. operads defined up to a certain arity \\(k \\geq 0\\). Both kinds of mapping spaces in practice: the authors have used the first kind to compute mapping spaces of \\(E_n\\) operads [\\textit{B. Fresse}, \\textit{V. Turchin} and \\textit{T. Willwacher}, ``The rational homotopy of mapping spaces of \\(E_n\\) operads'', Preprint, \\url{arXiv:1703.06123}], whereas the second kind is usually used in Goodwillie-Weiss manifold calculus, and the truncated kind is used to compute polynomial approximations in this calculus.  The proof roughly goes as follows. Let \\(\\iota : Op_* \\to Op\\) be the inclusion. The authors prove that this function is a right Quillen adjoint. Its left Quillen adjoint is the ``unitarization'' function \\(\\tau : Op \\to Op_*\\). Given an operad \\(\\mathsf{P}\\), the unitary operad \\(\\tau \\mathsf{P}\\) is defined by collapsing \\(\\mathsf{P}(0)\\) to a point, and quotienting by an equivalence relation on higher arities to retain the operad structure. The authors then prove that the left derived function \\(\\mathbb{L}\\tau\\) is left inverse to \\(\\iota\\) on the level of homotopy categories (from which the main theorem follows). Concretely, this result is obtained by proving that if \\(\\mathsf{P}\\) is a unitary operad and \\(\\mathsf{E}\\) is an \\(E_\\infty\\)-operad, then the unitarization of the Boardman-Vogt resolution of \\(\\mathsf{E} \\times \\mathsf{P}\\) -- which represents \\(\\mathbb{L}\\tau(\\iota\\mathsf{P})\\) -- is weakly equivalent to \\(\\mathsf{P}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1630573$8067AA6D-24E5-4F46-BD77-7B2FABF24C49","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bc0cd70983755a4602c23aaae26e6304373ce082","datavalue":{"value":{"entity-type":"item","numeric-id":666709,"id":"Q666709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630573$C2EBA15F-329A-4A17-8112-03937EC13A45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e9ca7ce31d5d58dbe274220a6e1fb57992f4db59","datavalue":{"value":"18D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1630573$4B048946-F6C8-4719-9848-A4C46359919A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c71f3ae49cb2a1eeef9914b0fdcd1f33e90aac9c","datavalue":{"value":"18G55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1630573$DAEC2D0E-19C2-4576-A832-725F9BA42C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1722e8eaf8d0b6e989e3d4620a85df21f8eb2337","datavalue":{"value":"55U10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1630573$ACD23651-6B42-4CD4-A50A-E3153F963A0D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94e96edf27962f1431cfb1bd23e2a1fcdad6d896","datavalue":{"value":"6991245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1630573$169E2EB9-ED89-41D9-B19F-261752CB2FD8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef7fac4141818b7fbc8efd19a4954d5bb011f3f2","datavalue":{"value":"unitary operads","type":"string"},"datatype":"string"},"type":"statement","id":"Q1630573$410B8CC6-85D0-4139-805B-50DC01C65098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"391aea3b56d12bdc698df29c76ae5cc0a21cc234","datavalue":{"value":"mapping spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1630573$3E7D3E6D-0E0F-4F97-A10A-743BD598FDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1bb65ad48606403847b27dc76f6438b57512fa2","datavalue":{"value":"Lambda operads","type":"string"},"datatype":"string"},"type":"statement","id":"Q1630573$75337239-662C-4623-8C7C-7B07D96F5D01","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":"Q1630573$B2C207AF-5813-492C-AF53-320E23A80FA8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0f96984d0cdc3ba19df7b2481cd332dfd9321ca","datavalue":{"value":"W3098796420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1630573$997729FC-C41F-4F46-93EA-DFA5F51D8965","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cfdb6793e3536a57cb196f0ac6bef3bf4bcb1b3","datavalue":{"value":{"entity-type":"item","numeric-id":1211750,"id":"Q1211750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630573$9D79BF48-56F4-4DF0-BFD2-B5CB17ED2FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a304da23e1af7b2c0b9094adf4a91954c362ba27","datavalue":{"value":{"entity-type":"item","numeric-id":1422177,"id":"Q1422177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630573$AF67D4C8-F6FD-46D0-8276-ACEC36B80497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d06e0174af60654bb6aeed34417a90a523cd777","datavalue":{"value":{"entity-type":"item","numeric-id":2503374,"id":"Q2503374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630573$8ABD3F64-8717-46F1-865D-98D4FCEC1140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8ea39604d73b5264a301de6c30fa353233116bd","datavalue":{"value":{"entity-type":"item","numeric-id":1845413,"id":"Q1845413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630573$3229F7C6-E058-432D-8EF6-1A9EB238264B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"341072d3f099a948268fa8f9d822448e75f0d329","datavalue":{"value":{"entity-type":"item","numeric-id":4637519,"id":"Q4637519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630573$78B0E02D-359F-42BB-AD85-9F8A89DA4E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b38665e200dabf09a217588224576ca2b94866","datavalue":{"value":{"entity-type":"item","numeric-id":441107,"id":"Q441107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630573$7F4FCFCC-E56F-480D-B7A1-A036773BA6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e1abad58edc37a181cbdf1a1caf11deac6da49","datavalue":{"value":{"entity-type":"item","numeric-id":5268450,"id":"Q5268450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630573$1F8C2805-A051-440D-B3BF-F86D390C667F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebe6b79652aec1ce09249e2cb031049460e5a0cb","datavalue":{"value":{"entity-type":"item","numeric-id":2255547,"id":"Q2255547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630573$914CD89B-6968-4F68-8113-5F9ABDA0D5D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1654b29aa50344ca70228c4b0242b304972342fb","datavalue":{"value":"10.1007/S40062-018-0198-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1630573$3FFDD4A6-4E6A-4A4E-9F1C-F93289CE097C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b70728669f00fdd21a4e62da9660d2582c67e33","datavalue":{"value":{"entity-type":"item","numeric-id":2787968,"id":"Q2787968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f242b1025fc19be01437dfa1c59498e82e6b6ea2","datavalue":{"value":{"amount":"+0.7731720209121704","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":"Q1630573$FCEA6364-973E-40B4-88FF-FABE9D26CA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18a948bb5e68c032fdb7c932d1f12a4dd1e94a09","datavalue":{"value":{"entity-type":"item","numeric-id":1728189,"id":"Q1728189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52d6f5a8ed485af03cdee8aa0e67c4ad396d5a8c","datavalue":{"value":{"amount":"+0.7719838619232178","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":"Q1630573$31F349AC-64C1-4E08-962D-495BDBA3BCB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"804c287339177a198bcfcc5ddcfb7466399a30fc","datavalue":{"value":{"entity-type":"item","numeric-id":1422177,"id":"Q1422177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"309f3950a89d192943bd231a9d307a53726a63c5","datavalue":{"value":{"amount":"+0.7674160003662109","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":"Q1630573$F7F8609B-53B7-4FF1-879C-5C6717B27364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ef857d1546b1e4c61c30dff66e79a18f68bc54f","datavalue":{"value":{"entity-type":"item","numeric-id":3120466,"id":"Q3120466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f09c39ba83270c46c5a26e0354d714e264292aae","datavalue":{"value":{"amount":"+0.761204183101654","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":"Q1630573$7CF12788-3B97-4053-9B9B-FEE418DC26E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b0307da5e9dcac72bac82190e1c78d4e5ea3c43","datavalue":{"value":{"entity-type":"item","numeric-id":390346,"id":"Q390346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37347e519c01392748e4db400efac4b1a499e807","datavalue":{"value":{"amount":"+0.7603533267974854","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":"Q1630573$AE614DC4-624D-4C74-9266-F31C5DAAD748","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The homotopy theory of operad subcategories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_homotopy_theory_of_operad_subcategories"}}}}}