The coalgebraic enrichment of algebras in higher categories (Q2229968): Difference between revisions

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.