English

The coalgebraic enrichment of algebras in higher categories

Algebraic Topology 2021-07-20 v2 Category Theory

Abstract

We prove that given C\mathcal{C} a presentably symmetric monoidal \infty-category, and any essentially small \infty-operad O\mathcal{O}, the \infty-category of O\mathcal{O}-algebras in C\mathcal{C} is enriched, tensored and cotensored over the presentably symmetric monoidal \infty-category of O\mathcal{O}-coalgebras in C\mathcal{C}. 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.

Keywords

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