The coalgebraic enrichment of algebras in higher categories

DOI10.1016/J.JPAA.2021.106849MaRDI QIDQ2229968zbMATH OpenOpenAlexFDO

Authors Maximilien Péroux

Publication date 17 September 2021

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2006.09408

zbMATH Keywords

operadsalgebracoalgebraenrichment\(\infty\)-categoriespresentable

Mathematics Subject Classification ID

Coalgebras and comodules; corings (16T15) Accessible and locally presentable categories (18C35) Enriched categories (over closed or monoidal categories) (18D20) Spectra with additional structure ((E_infty), (A_infty), ring spectra, etc.) (55P43) (infty)-operads and higher algebra (18N70)

Abstract: We prove that given $mathcalC$ a presentably symmetric monoidal $infty$-category, and any essentially small $infty$-operad $mathcalO$, the $infty$-category of $mathcalO$-algebras in $mathcalC$ is enriched, tensored and cotensored over the presentably symmetric monoidal $infty$-category of $mathcalO$-coalgebras in $mathcalC$. We provide a higher categorical analogue of the universal measuring coalgebra. For categories in the usual sense, the result was proved by Hyland, L'{o}pez Franco, and Vasilakopoulou.

Recommendations

• Enriched -categories via non-symmetric -operads
• The operad that co-represents enrichment
• On measurings of algebras over operads and homology theories
• An equivalence between enriched \(\infty \)-categories and \(\infty \)-categories with weak action
• Tangent categories of algebras over operads

Cites work

• scientific article; zbMATH DE number 1226952 (Why is no real title available?)
• scientific article; zbMATH DE number 3309240 (Why is no real title available?)
• A necessary and sufficient condition for induced model structures
• A short course on \(\infty \)-categories
• Algebras, rings and modules. Lie algebras and Hopf algebras.
• Coalgebras in symmetric monoidal categories of spectra
• Dualizing cartesian and cocartesian fibrations
• Enriched \(\infty \)-operads
• Enriched -categories via non-symmetric -operads
• Enriched duality in double categories: \(\mathcal{V}\)-categories and \(\mathcal{V}\)-cocategories
• Higher Topos Theory (AM-170)
• Hopf measuring comonoids and enrichment
• On tree coalgebras and coalgebra presentations
• Yoneda lemma for enriched \(\infty\)-categories
• \((A, \delta)\)-modules, Hochschild homology and higher derivations

Cited in

(6)

• Enriched duality in double categories: \(\mathcal{V}\)-categories and \(\mathcal{V}\)-cocategories
• scientific article; zbMATH DE number 3334213 (Why is no real title available?)
• Spanier–Whitehead duality for topological coHochschild homology
• On measurings of algebras over operads and homology theories
• Coalgebras in the Dwyer-Kan localization of a model category
• scientific article; zbMATH DE number 1701358 (Why is no real title available?)

This page was built for publication: The coalgebraic enrichment of algebras in higher categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2229968)