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.

中文翻译：

---

共同代表丰富的歌剧

我证明了Hinich和Gepner-Haugseng定义的单曲面无穷大类别中的富集理论是一致的，并且该识别是唯一的。除其他外，这使米田引理在后一种模型中可用。