# The operad that corepresents enrichment

## TL;DR

This paper proves the equivalence of two models of enrichment in monoidal infinity-categories, establishing a unique identification that enables the application of the Yoneda lemma in this context.

## Contribution

It demonstrates the agreement and uniqueness of the enrichment theories by Hinich and Gepner-Haugseng, unifying their frameworks.

## Key findings

- Theories of enrichment in monoidal infinity-categories are equivalent.
- The identification between the models is unique.
- The Yoneda lemma can be applied in the Hinich model.

## Abstract

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 former model.