The coalgebraic enrichment of algebras in higher categories

DOI10.1016/J.JPAA.2021.106849zbMATH Open1484.16040arXiv2006.09408OpenAlexW3196507663MaRDI QIDQ2229968FDOQ2229968

Authors: Maximilien Péroux 

Publication date: 17 September 2021

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

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.

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

Recommendations

• Enriched \(\infty\)-categories via non-symmetric \(\infty\)-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

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)

Cites Work

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

Cited In (6)

• Enriched duality in double categories: \(\mathcal{V}\)-categories and \(\mathcal{V}\)-cocategories
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)

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)