{"title":"丰富$\\infty$类别中内部操作数上的共品幂等价代数","authors":"Federico Ernesto Mocchetti","doi":"arxiv-2407.21706","DOIUrl":null,"url":null,"abstract":"In arXiv:1712.00555, H. Heine shows that given a symmetric monoidal\n$\\infty$-category $\\mathcal{V}$ and a weakly $\\mathcal{V}$-enriched monad $T$\nover an $\\infty$-category $\\mathcal{C}$, then there is an induced action of\n$\\mathcal{V}$ on $LMod_T(\\mathcal{C})$. Moreover, properties like tensoring or\nenrichment can be transferred from the action on $\\mathcal{C}$ to that on\n$LMod_T(\\mathcal{C})$. We see that the action of an internal operad $O \\in\nAlg(sSeq(\\mathcal{C}))$ can be interpreted as the action of a monad $T_O$, such\nthat $Alg_O(\\mathcal{C})\\cong LMod_{T_O}(\\mathcal{C})$. We can then prove that,\nunder a presentability assumption, if the category $\\mathcal{C}$ admits\ncotensors with respect to the action of $\\mathcal{V}$, then so does\n$Alg_O(\\mathcal{C})\\cong LMod_{T_O}(\\mathcal{C})$. This is used to show that\nthe coproduct-idempotent algebras are fixed by the induced tensoring action. We\napply this to the stable motivic homotopy category and prove that the tensor of\nany motivic sphere with rational motivic cohomology is equivalent to the\nlatter.","PeriodicalId":501135,"journal":{"name":"arXiv - MATH - Category Theory","volume":"33 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-07-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Coproduct idempotent algebras over internal operads in enriched $\\\\infty$-categories\",\"authors\":\"Federico Ernesto Mocchetti\",\"doi\":\"arxiv-2407.21706\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In arXiv:1712.00555, H. Heine shows that given a symmetric monoidal\\n$\\\\infty$-category $\\\\mathcal{V}$ and a weakly $\\\\mathcal{V}$-enriched monad $T$\\nover an $\\\\infty$-category $\\\\mathcal{C}$, then there is an induced action of\\n$\\\\mathcal{V}$ on $LMod_T(\\\\mathcal{C})$. Moreover, properties like tensoring or\\nenrichment can be transferred from the action on $\\\\mathcal{C}$ to that on\\n$LMod_T(\\\\mathcal{C})$. We see that the action of an internal operad $O \\\\in\\nAlg(sSeq(\\\\mathcal{C}))$ can be interpreted as the action of a monad $T_O$, such\\nthat $Alg_O(\\\\mathcal{C})\\\\cong LMod_{T_O}(\\\\mathcal{C})$. We can then prove that,\\nunder a presentability assumption, if the category $\\\\mathcal{C}$ admits\\ncotensors with respect to the action of $\\\\mathcal{V}$, then so does\\n$Alg_O(\\\\mathcal{C})\\\\cong LMod_{T_O}(\\\\mathcal{C})$. This is used to show that\\nthe coproduct-idempotent algebras are fixed by the induced tensoring action. We\\napply this to the stable motivic homotopy category and prove that the tensor of\\nany motivic sphere with rational motivic cohomology is equivalent to the\\nlatter.\",\"PeriodicalId\":501135,\"journal\":{\"name\":\"arXiv - MATH - Category Theory\",\"volume\":\"33 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-07-31\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - MATH - Category Theory\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2407.21706\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - MATH - Category Theory","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2407.21706","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Coproduct idempotent algebras over internal operads in enriched $\infty$-categories
In arXiv:1712.00555, H. Heine shows that given a symmetric monoidal
$\infty$-category $\mathcal{V}$ and a weakly $\mathcal{V}$-enriched monad $T$
over an $\infty$-category $\mathcal{C}$, then there is an induced action of
$\mathcal{V}$ on $LMod_T(\mathcal{C})$. Moreover, properties like tensoring or
enrichment can be transferred from the action on $\mathcal{C}$ to that on
$LMod_T(\mathcal{C})$. We see that the action of an internal operad $O \in
Alg(sSeq(\mathcal{C}))$ can be interpreted as the action of a monad $T_O$, such
that $Alg_O(\mathcal{C})\cong LMod_{T_O}(\mathcal{C})$. We can then prove that,
under a presentability assumption, if the category $\mathcal{C}$ admits
cotensors with respect to the action of $\mathcal{V}$, then so does
$Alg_O(\mathcal{C})\cong LMod_{T_O}(\mathcal{C})$. This is used to show that
the coproduct-idempotent algebras are fixed by the induced tensoring action. We
apply this to the stable motivic homotopy category and prove that the tensor of
any motivic sphere with rational motivic cohomology is equivalent to the
latter.