The coalgebraic enrichment of algebras in higher categories
Algebraic Topology
2021-07-20 v2 Category Theory
Abstract
We prove that given a presentably symmetric monoidal -category, and any essentially small -operad , the -category of -algebras in is enriched, tensored and cotensored over the presentably symmetric monoidal -category of -coalgebras in . 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.
Cite
@article{arxiv.2006.09408,
title = {The coalgebraic enrichment of algebras in higher categories},
author = {Maximilien Péroux},
journal= {arXiv preprint arXiv:2006.09408},
year = {2021}
}
Comments
12 pages. To appear in JPAA. Added results on cofree coalgebras (Corollary 2.11, Proposition 3.10 and Corollary 3.11). Added an example in Remark 3.16