{"entities":{"Q2214759":{"pageid":2225502,"ns":120,"title":"Item:Q2214759","lastrevid":57790563,"modified":"2026-04-02T13:19:52Z","type":"item","id":"Q2214759","labels":{"en":{"language":"en","value":"The operad that co-represents enrichment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7283647"}},"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":"Q2214759$82360B0E-31E5-40E9-AE0F-D831F360A961","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"298cbd256f7bd10410db0243dbf0e1b31f294cd9","datavalue":{"value":{"text":"The operad that co-represents enrichment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2214759$A42CEB73-25C2-442E-B214-A75FE4146523","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4fd1bd06ab4f12bd3fe3750a5206626c13142d76","datavalue":{"value":"1469.18030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2214759$3AF00922-1772-485C-B44D-C8E5003986E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"edba95eb63b84a1fb06c684539641d76276b9002","datavalue":{"value":{"entity-type":"item","numeric-id":1630099,"id":"Q1630099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2214759$BB3565C2-2B43-4D06-A052-5C6C7DF1C86E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1e22c5b89240190fc74b760088a55141cf0fb60b","datavalue":{"value":{"entity-type":"item","numeric-id":180135,"id":"Q180135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2214759$AAC3737B-FBE7-4698-B2D2-365AEAB59036","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97b59c99be360aa141a468ba100909fcbfbe314c","datavalue":{"value":{"time":"+2020-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":"Q2214759$076B76F1-20B5-4A87-AD91-4855EFA97B18","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6921577aa216cee5a87bac2aafc458f00af3a666","datavalue":{"value":"https://arxiv.org/abs/1902.08881","type":"string"},"datatype":"url"},"type":"statement","id":"Q2214759$5F76C1CA-9EDC-4C74-A0DB-F5A220DE88B1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b72c16ab11aa12b978e8eb3fd70017f455c7ec50","datavalue":{"value":"\\textit{Enriched category theory} has been an integral part of the development of modern category theory, examples include \\textit{abelian categories}, which are enriched over abelian groups, \\textit{dg-categories}, which are enriched over chain complexes, and \\textit{\\(2\\)-categories}, which are enriched over categories. Hence, there are now many excellent sources developing categorical concepts (such as (co)limits, adjunctions, Yoneda lemma and Kan extensions) in the enriched setting, most famously [\\textit{G. M. Kelly}, Repr. Theory Appl. Categ. 2005, No. 10, 1--136 (2005; Zbl 1086.18001)].  Classical category theory has been successfully generalized to a theory of \\textit{\\((\\infty,1)\\)-categories} or \\textit{\\(\\infty\\)-categories}, which is a weak form of category theory with inherent connections to \\textit{homotopy theory} and part of a general trend towards derived and homotopical mathematics. In particular one derived analogue of abelian and dg-categories are \\textit{stable \\(\\infty\\)-categories} and an analogue of \\(2\\)-categories are \\textit{\\((\\infty,2)\\)-categories}. We would hence expect a systematic study of \\textit{enriched \\(\\infty\\)-categories} (such as an \\textit{enriched Yoneda lemma}) with the hope of similarly realizing stable \\(\\infty\\)-categories as \\textit{spectrally enriched} or \\((\\infty,1)\\)-categories as \\textit{\\((\\infty,1)\\)-category enriched}.  One first step towards enriched \\(\\infty\\)-categories over monoidal \\(\\infty\\)-categories via \\textit{left module \\(\\infty\\)-operads} was taken by \\textit{ [J. Lurie} [``Higher Algebra'', \\url{http://www.math.harvard.edu/~lurie/papers/HA.pdf}], however, did not pursue a detailed study of enriched \\(\\infty\\)-categories. This happened first in the work of Gepner and Haugseng, who introduced enriched \\(\\infty\\)-categories via \\textit{non-symmetric \\(\\infty\\)-operads}, generalizing the approach by Lurie, and then use that to prove that all stable \\(\\infty\\)-categories are spectrally enriched or \\((\\infty,n)\\)-categories are \\((\\infty,n-1)\\)-category enriched [\\textit{D. Gepner} and \\textit{R. Haugseng}, Adv. Math. 279, 575--716 (2015; Zbl 1342.18009)]. Moreover, it is well-suited to study \\textit{presentability}, however, it misses a study of the Yoneda lemma or Kan extensions of enriched \\(\\infty\\)-categories. Around the same time, Hinich developed an alternative approach to enriched \\(\\infty\\)-categories via \\textit{enriched precategories}, which in particular comes with a \\textit{Yoneda lemma}, however, has not been used to study presentable \\(\\infty\\)-categories or spectrally enriched \\(\\infty\\)-categories [\\textit{V. Hinich}, Adv. Math. 367, Article ID 107129, 119 p. (2020; Zbl 1454.18003)].  It was expected (and in fact claimed in [\\textit{V. Hinich}, Adv. Math. 367, Article ID 107129, 119 p. (2020; Zbl 1454.18003)]) that these two approaches to enriched \\(\\infty\\)-categories are equivalent, which would then allow us to translate the results from one setting to another and in particular combine the strength of the two approaches by Gepner-Haugseng and Hinich. This is the result of this paper. In fact the author proves a stronger result (Theorem \\(1.1\\)) by showing that for a given monoidal \\(\\infty\\)-category \\(\\mathscr{V}\\) there is a \\textit{unique} equivalence between the Gepner-Haugseng and the Hinich approach to \\(\\mathscr{V}\\)-enriched \\(\\infty\\)-categories, along the lines of similar uniqueness results for equivalences of models of \\((\\infty,1)\\)-categories [\\textit{B. To\u00ebn}, \\(K\\)-Theory 34, No. 3, 233--263 (2005; Zbl 1083.18003)] and \\((\\infty,n)\\)-categories [\\textit{C. Barwick} and \\textit{C. Schommer-Pries}, ``On the unicity of the homotopy theory of higher categories'', Preprint, \\url{arXiv:1112.0040}].  The proof of Theorem \\(1.1\\) proceeds by giving an explicit description of the \\textit{corepresenting planar operads} of both approaches (Section \\(2\\)), which then reduces the proof to constructing an adjunction of \\(\\infty\\)-categories. This is then (via the key technical result in Proposition \\(3.3\\) and its implication Corollary \\(3.4\\)) reduced to constructing an adjunction of \\(1\\)-categories, which is the content of Section \\(4\\). The proof is then finished by proving the uniqueness of this equivalence in Section \\(5\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2214759$1E3163A2-FE9A-47B5-B005-39776F4F4256","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9229784c828c456627d449147b80d767437449dd","datavalue":{"value":{"entity-type":"item","numeric-id":2024493,"id":"Q2024493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2214759$294E7129-DD84-40B9-AD61-F2FE225A2B04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"befe607509a93d2a536d630fd3a8e8ae944f11b0","datavalue":{"value":"18N40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2214759$AB75F93B-2554-400A-B320-3D723B12AE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e5b1504fc27514bbb1f6781dd7cf62c90f73732","datavalue":{"value":"18N70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2214759$DF537468-36E8-471F-B12D-6F9146E57908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f7bb6d8c5310ace40589f27f0ec3909d5699eb0","datavalue":{"value":"18N60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2214759$3BB048A4-94C0-448A-9708-079537A01623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c7442634c6d8cafb76c4ee63fbf3377fffd6458","datavalue":{"value":"18N50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2214759$245DFC0C-67A9-4D1E-BF6E-BDA36E75F64D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"997217971b9502dd8eb56173b30e5f4463a76420","datavalue":{"value":"7283647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2214759$7C4E9F6A-E69F-454E-9FDE-1FC465DA0E50","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6fb1995b7a41fdbc4b91b409f49c6e1da7ae08e","datavalue":{"value":"enriched higher category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2214759$BF3E1886-7E66-4F4B-B4DC-612B12241EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"950720d2178484e1aa558fd3c48831ca4313b71a","datavalue":{"value":"planar operad","type":"string"},"datatype":"string"},"type":"statement","id":"Q2214759$C53EE7C8-5449-40EF-BBA9-4F3C07A22D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75b106a4f8ea25908f2a3cecf2bb67faf953c9e0","datavalue":{"value":"simplicial multicategory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2214759$7A2544E5-7852-4A03-B3D3-EDAF4BEEC662","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":"Q2214759$D8993301-F2BD-4C89-9890-FFBC35130154","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e33767d9e86dd018d7af1274aaa68fd0ec33ecbd","datavalue":{"value":"W3112881263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2214759$CCAAF80C-CE5D-4831-80C1-F963B383F016","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e85f4324b38dd15c7c608714aa4ba5908aa509a","datavalue":{"value":"10.4310/HHA.2021.V23.N1.A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2214759$DE1E098A-98BC-4E79-AC24-E5099EB5F6C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcc4058197277faa3a41b0f680b6ed1bf2081f10","datavalue":{"value":{"entity-type":"item","numeric-id":2344279,"id":"Q2344279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd9b4417956e5699d0a1eca989d5b8cb9b8fd4b9","datavalue":{"value":{"amount":"+0.8319092392921448","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":"Q2214759$7CA2319F-C4FA-40CC-9F39-12A07C656BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13f85f44c8f3e66275b50078b0ed5140d47813e3","datavalue":{"value":{"entity-type":"item","numeric-id":2689547,"id":"Q2689547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4fdb7bad8cb3d079600d961250fabf86e1a438c","datavalue":{"value":{"amount":"+0.8268022537231445","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":"Q2214759$43661590-4AC1-4F22-88B3-442A46018A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c0d6352fa17d9832c6b2a3d46e64cfd8076624d","datavalue":{"value":{"entity-type":"item","numeric-id":498726,"id":"Q498726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"874426f35fd0696e761aa33ac5c9591851fc9354","datavalue":{"value":{"amount":"+0.8201889395713806","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":"Q2214759$0F45E4BA-732E-4CF8-8537-0005700CB144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"821fe352bf459743e44e0f39c08440139a5d8b2c","datavalue":{"value":{"entity-type":"item","numeric-id":2173722,"id":"Q2173722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed38f3c9941417df839835b51f80c96c9eaa7f1d","datavalue":{"value":{"amount":"+0.8200880289077759","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":"Q2214759$C05B5189-FE4D-4F79-98A8-0B1C2DEDC4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f5d31b248e1477a99680fd1811b347edbb40cc4","datavalue":{"value":{"entity-type":"item","numeric-id":2288072,"id":"Q2288072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13e56efef6510cdceeeae84cfeceeb34a13f9c42","datavalue":{"value":{"amount":"+0.8118149638175964","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":"Q2214759$7184930B-90B1-4081-8E77-EC3A54E2BDDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2214759","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2214759"}}}}}