اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدParametrized higher category theory and higher algebra: Expose II - Indexed homotopy limits and colimits
121
0
0.0
(
0
)
تأليف
Jay Shah
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
We develop foundations for the category theory of $infty$-categories parametrized by a base $infty$-category. Our main contribution is a theory of indexed homotopy limits and colimits, which specializes to a theory of $G$-colimits for $G$ a finite group when the base is chosen to be the orbit category of $G$. We apply this theory to show that the $G$-$infty$-category of $G$-spaces is freely generated under $G$-colimits by the contractible $G$-space, thereby affirming a conjecture of Mike Hill.
قيم البحث
اقرأ أيضاً
We explain how higher homotopy operations, defined topologically, may be identified under mild assumptions with (the last of) the Dwyer-Kan-Smith cohomological obstructions to rectifying homotopy-commutative diagrams.
We present a homotopy theory for a weak version of modular operads whose compositions and contractions are only defined up to homotopy. This homotopy theory takes the form of a Quillen model structure on the collection of simplicial presheaves for a
certain category of undirected graphs. This new category of undirected graphs, denoted $mathbf{U}$, plays a similar role for modular operads that the dendroidal category $Omega$ plays for operads. We carefully study properties of $mathbf{U}$, including the existence of certain factorization systems. Related structures, such as cyclic operads and stable modular operads, can be similarly treated using categories derived from $mathbf{U}$.
We discuss an approach to the emph{covering} and emph{vanishing} theorems for the comparison map from bounded cohomology to singular cohomology, based on the observation that the comparison map is the coassembly map for bounded cohomology.
Many homotopy-coherent algebraic structures can be described by Segal-type limit conditions determined by an algebraic pattern, bywhich we mean an $infty$-category equipped with a factorization system and a collection of elementary objects. Examples
of structures that occur as such Segal $mathcal{O}$-spaces for an algebraic pattern $mathcal{O}$ include $infty$-categories, $(infty,n)$-categories, $infty$-operads, $infty$-properads, and algebras for an $infty$-operad in spaces. In the first part of this paper we set up a general frameworkn for algebraic patterns and their Segal objects, including conditions under which the latter are preserved by left and right Kan extensions. In particular, we obtain necessary and sufficent conditions on a pattern $mathcal{O}$ for free Segal $mathcal{O}$-spaces to be described by an explicit colimit formula, in which case we say that $mathcal{O}$ is extendable. In the second part of the paper we explore the relationship between extendable algebraic patterns and polynomial monads, by which we mean cartesian monads on presheaf $infty$-categories that are accessible and preserve weakly contractible limits. We first show that the free Segal $mathcal{O}$-space monad for an extendable pattern $mathcal{O}$ is always polynomial. Next, we prove an $infty$-categorical version of Webers Nerve Theorem for polynomial monads, and use this to define a canonical extendable pattern from any polynomial monad, whose Segal spaces are equivalent to the algebras of the monad. These constructions yield functors between polynomial monads and extendable algebraic patterns, and we show that these exhibit full subcategories of saturated algebraic patterns and complete polynomial monads as localizations, and moreover restrict to an equivalence between the $infty$-categories of saturated patterns and complete polynomial monads.
For a pointed topological space $X$, we use an inductive construction of a simplicial resolution of $X$ by wedges of spheres to construct a higher homotopy structure for $X$ (in terms of chain complexes of spaces). This structure is then used to defi
ne a collection of higher homotopy invariants which suffice to recover $X$ up to weak equivalence. It can also be used to distinguish between different maps $f$ from $X$ to $Y$ which induce the same morphism on homotopy groups $f_*$ from $pi_* X$ to $pi_* Y$.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
