اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدRectification of enriched infinity-categories
163
0
0.0
(
0
)
تأليف
Rune Haugseng
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
We prove a rectification theorem for enriched infinity-categories: If V is a nice monoidal model category, we show that the homotopy theory of infinity-categories enriched in V is equivalent to the familiar homotopy theory of categories strictly enriched in V. It follows, for example, that infinity-categories enriched in spectra or chain complexes are equivalent to spectral categories and dg-categories. A similar method gives a comparison result for enriched Segal categories, which implies that the homotopy theories of n-categories and (infinity,n)-categories defined by iterated infinity-categorical enrichment are equivalent to those of more familia
قيم البحث
اقرأ أيضاً
The invertibility hypothesis for a monoidal model category S asks that localizing an S-enriched category with respect to an equivalence results in an weakly equivalent enriched category. This is the most technical among the axioms for S to be an exce
llent model category in the sense of Lurie, who showed that the category of S-enriched categories then has a model structure with characterizable fibrant objects. We use a universal property of cubical sets, as a monoidal model category, to show that the invertibility hypothesis is consequence of the other axioms.
In this paper we present background results in enriched category theory and enriched model category theory necessary for developing model categories of enriched functors suitable for doing functor calculus.
Magnitude is a numerical invariant of enriched categories, including in particular metric spaces as $[0,infty)$-enriched categories. We show that in many cases magnitude can be categorified to a homology theory for enriched categories, which we call
magnitude homology (in fact, it is a special sort of Hochschild homology), whose graded Euler characteristic is the magnitude. Magnitude homology of metric spaces generalizes the Hepworth--Willerton magnitude homology of graphs, and detects geometric information such as convexity.
We introduce a notion of bimodule in the setting of enriched $infty$-categories, and use this to construct a double $infty$-category of enriched $infty$-categories where the two kinds of 1-morphisms are functors and bimodules. We then consider a natu
ral definition of natural transformations in this context, and show that in the underlying $(infty,2)$-category of enriched $infty$-categories with functors as 1-morphisms the 2-morphisms are given by natural transformations.
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.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
