اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدYoneda lemma for enriched infinity categories
170
0
0.0
(
0
)
تأليف
V. Hinich
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
We continue the study of enriched infinity categories, using a definition equivalent to that of Gepner and Haugseng. In our approach enriched infinity categories are associative monoids in an especially designed monoidal category of enriched quivers. We prove that, in case the monoidal structure in the basic category M comes from direct product, our definition is essentially equivalent to the approach via Segal objects. Furthermore, we compare our notion with the notion of category left-tensored over M, and prove a version of Yoneda lemma in this context. Version 2: An error in 2.6.2 corrected. Version 3: a few minor corrections. Version 4: Section 8 added, describing correspondences of enriched categories. In case the basic monoidal category M is a prototopos with a cartesian structure, we prove that the category of correspondences is equivalent to the category of enriched categories over [1]. Version 5: terminology changed (former bicartesian fibrations became bifibrations), a few misprints corrected. Version 6: Section 2.11 added, dealing with operadic sieves. A number of corrections and clarifications made per referees request. Version 7: final version, accepted to Advances in Math. Version 8: a minor correction of 2.8.9-2.8.10.
قيم البحث
اقرأ أيضاً
We present a version of enriched Yoneda lemma for conventional (not infinity-) categories. We require the base monoidal category to have colimits, but do not require it to be closed or symmetric monoidal.
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 proper
ties. 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.
For a small category $mathcal{D}$ we define fibrations of simplicial presheaves on the category $mathcal{D}timesDelta$, which we call localized $mathcal{D}$-left fibration. We show these fibrations can be seen as fibrant objects in a model structure,
the localized $mathcal{D}$-covariant model structure, that is Quillen equivalent to a category of functors valued in simplicial presheaves on $mathcal{D}$, where the Quillen equivalence is given via a generalization of the Grothendieck construction. We use our understanding of this construction to give a detailed characterization of fibrations and weak equivalences in this model structure and in particular obtain a Yoneda lemma. We apply this general framework to study Cartesian fibrations of $(infty,n)$-categories, for models of $(infty,n)$-categories that arise via simplicial presheaves, such as $n$-fold complete Segal spaces. This, in particular, results in the Yoneda lemma and Grothendieck construction for Cartesian fibrations of $(infty,n)$-categories.
Restriction categories were introduced to provide an axiomatic setting for the study of partially defined mappings; they are categories equipped with an operation called restriction which assigns to every morphism an endomorphism of its domain, to be
thought of as the partial identity that is defined to just the same degree as the original map. In this paper, we show that restriction categories can be identified with emph{enriched categories} in the sense of Kelly for a suitable enrichment base. By varying that base appropriately, we are also able to capture the notions of join and range restriction category in terms of enriched category theory.
We develop some basic concepts in the theory of higher categories internal to an arbitrary $infty$-topos. We define internal left and right fibrations and prove a version of the Grothendieck construction and of Yonedas lemma for internal categories.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
