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

\(\infty\)-categoriesalgebracoalgebraenrichmentoperadspresentable

Mathematics Subject Classification ID

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

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.

Review text

The dual of a coalgebra is always an algebra, but the dual of an algebra is not a coalgebra, unless require the algebra to be finite dimensional. In ordinary categories, the measuring provides an enrichment for algebras over coalgebras which was established in [\textit{M. Hyland} et al., Proc. Lond. Math. Soc. (3) 115, No. 5, 1118--1148 (2017; Zbl 1405.16046)] and [\textit{C. Vasilakopoulou}, J. Pure Appl. Algebra 223, No. 7, 2889--2947 (2019; Zbl 1419.18009)]. In any presentably symmetric monoidal \(\infty\)-category, the algebra objects are enriched, tensored and cotensored over coalgebras in [\textit{D. Gepner} and \textit{R. Haugseng}, Adv. Math. 279, 575--716 (2015; Zbl 1342.18009)] and [\textit{V. Hinich}, Adv. Math. 367, Article ID 107129, 119 p. (2020; Zbl 1454.18003)]. In this paper, the author proved that given \(\mathfrak{C }\) a presentably symmetric monoidal \(\infty\)-category, and any essentially small \(\infty\)-operad \(\mathcal{O}\), the \(\infty\)-category of \(\mathcal{O}\)-algebras in \(\mathfrak{C }\) is enriched, tensored and cotensored over the presentably symmetric monoidal \(\infty\)-category of \(\mathcal{O}\) coalgebras in \(\mathfrak{C }\). The author provided a higher categorical analogue of the universal measuring coalgebra.

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

• \((A, \delta)\)-modules, Hochschild homology and higher derivations
• A necessary and sufficient condition for induced model structures
• A short course on -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
• scientific article; zbMATH DE number 1226952 (Why is no real title available?)
• scientific article; zbMATH DE number 3309240 (Why is no real title available?)
• On tree coalgebras and coalgebra presentations
• Yoneda lemma for enriched \(\infty\)-categories

Cited in

(10)

• Enriched duality in double categories: \(\mathcal{V}\)-categories and \(\mathcal{V}\)-cocategories
• On measurings of algebras over operads and homology theories
• scientific article; zbMATH DE number 1701358 (Why is no real title available?)
• scientific article; zbMATH DE number 3334213 (Why is no real title available?)
• Coalgebras in the Dwyer-Kan localization of a model category
• Spanier–Whitehead duality for topological coHochschild homology
• Trace methods for coHochschild homology
• Rigidification of connective comodules
• Topological \(\Delta \mathbf{G}\)-homology of rings with twisted \(G\)-action
• Functoriality of enriched data types

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)