The operad that co-represents enrichment

I show that the theories of enrichment in a monoidal infinity-category defined by Hinich and by Gepner–Haugseng agree, and that the identification is unique. Among other things, this makes the Yoneda lemma available in the latter model.

Keywords

enriched higher category, planar operad, simplicial multicategory

Full Text (PDF format)

This work was supported in part by World Premier International Research Center Initiative (WPI), MEXT, Japan, and in part by JSPS KAKENHI Grant Number JP19K14522.

Received 30 January 2020

Received revised 22 May 2020

Accepted 9 August 2020

Published 9 December 2020