2020/06/16 by Péroux, Maximilien · 2 citations
#16T15 (Secondary) #18D20 #18N70 (Primary) #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics
paper · doi:10.48550/arxiv.2006.09408
We prove that given C a presentably symmetric monoidal ∞-category, and any essentially small ∞-operad O, the ∞-category of O-algebras in C is enriched, tensored and cotensored over the presentably symmetric monoidal ∞-category of O-coalgebras in 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ópez Franco, and Vasilakopoulou.