论文标题
丰富的无穷大类别I：丰富的预选
Enriched infinity categories I: enriched presheaves
论文作者
论文摘要
这是一系列有关丰富无穷大类别的论文中的第一篇，试图将丰富的较高类别理论降低为可观的无穷大类别的更高代数，这是可以更好地理解的，并且可以通过普遍的属性来了解。 在本文中，我们在丰富的无限类别中介绍了丰富的预选。我们证明了预示性最熟悉的属性的类似物。例如，我们计算预示的限制和模具，证明所有预示为代表的预发症的概念，并证明了Yoneda引理的版本。
This is the first of a series of papers on enriched infinity categories, seeking to reduce enriched higher category theory to the higher algebra of presentable infinity categories, which is better understood and can be approached via universal properties. In this paper, we introduce enriched presheaves on an enriched infinity category. We prove analogues of most familiar properties of presheaves. For example, we compute limits and colimits of presheaves, prove that all presheaves are colimits of representable presheaves, and prove a version of the Yoneda lemma.
