ترغب بنشر مسار تعليمي؟ اضغط هنا

Homotopy-coherent algebra via Segal conditions

239   0   0.0 ( 0 )
 نشر من قبل Rune Haugseng
 تاريخ النشر 2019
  مجال البحث
والبحث باللغة English




اسأل ChatGPT حول البحث

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.



قيم البحث

اقرأ أيضاً

120 - Jay Shah 2018
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 gr oup 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.
103 - Rune Haugseng 2019
We show that Segal spaces, and more generally category objects in an $infty$-category $mathcal{C}$, can be identified with associative algebras in the double $infty$-category of spans in $mathcal{C}$. We use this observation to prove that having iden tities is a property of a non-unital $(infty,n)$-category.
It is known by results of Dyckerhoff-Kapranov and of Galvez--Carrillo-Kock-Tonks that the output of the Waldhausen S.-construction has a unital 2-Segal structure. Here, we prove that a certain S.-functor defines an equivalence between the category of augmented stable double categories and the category of unital 2-Segal sets. The inverse equivalence is described explicitly by a path construction. We illustrate the equivalence for the known examples of partial monoids, cobordism categories with genus constraints and graph coalgebras.
In a previous paper, we showed that a discrete version of the $S_bullet$-construction gives an equivalence of categories between unital 2-Segal sets and augmented stable double categories. Here, we generalize this result to the homotopical setting, b y showing that there is a Quillen equivalence between a model category for unital 2-Segal objects and a model category for augmented stable double Segal objects which is given by an $S_bullet$-construction. We show that this equivalence fits together with the result in the discrete case and briefly discuss how it encompasses other known $S_bullet$-constructions.
We show that the edgewise subdivision of a $2$-Segal object is always a Segal object, and furthermore that this property characterizes $2$-Segal objects.
التعليقات
جاري جلب التعليقات جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
mircosoft-partner

هل ترغب بارسال اشعارات عن اخر التحديثات في شمرا-اكاديميا