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

Comonadic Coalgebras and Bousfield Localization

104   0   0.0 ( 0 )
 نشر من قبل David White
 تاريخ النشر 2018
  مجال البحث
والبحث باللغة English




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

For a model category, we prove that taking the category of coalgebras over a comonad commutes with left Bousfield localization in a suitable sense. Then we prove a general existence result for left-induced model structure on the category of coalgebras over a comonad in a left Bousfield localization. Next we provide several equivalent characterizations of when a left Bousfield localization preserves coalgebras over a comonad. These results are illustrated with many applications in chain complexes, (localized) spectra, and the stable module category.



قيم البحث

اقرأ أيضاً

We prove the equivalence of several hypotheses that have appeared recently in the literature for studying left Bousfield localization and algebras over a monad. We find conditions so that there is a model structure for local algebras, so that localiz ation preserves algebras, and so that localization lifts to the level of algebras. We include examples coming from the theory of colored operads, and applications to spaces, spectra, and chain complexes.
Given a combinatorial (semi-)model category $M$ and a set of morphisms $C$, we establish the existence of a semi-model category $L_C M$ satisfying the universal property of the left Bousfield localization in the category of semi-model categories. Our main tool is a semi-model categorical version of a result of Jeff Smith, that appears to be of independent interest. Our main result allows for the localization of model categories that fail to be left proper. We give numerous examples and applications, related to the Baez-Dolan stabilization hypothesis, localizations of algebras over operads, chromatic homotopy theory, parameterized spectra, $C^*$-algebras, enriched categories, dg-categories, functor calculus, and Voevodskys work on radditive functors.
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 give an explicit point-set construction of the Dennis trace map from the $K$-theory of endomorphisms $Kmathrm{End}(mathcal{C})$ to topological Hochschild homology $mathrm{THH}(mathcal{C})$ for any spectral Waldhausen category $mathcal{C}$. We desc ribe the necessary technical foundations, most notably a well-behaved model for the spectral category of diagrams in $mathcal{C}$ indexed by an ordinary category via the Moore end. This is applied to define a version of Waldhausens $S_{bullet}$-construction for spectral Waldhausen categories, which is central to this account of the Dennis trace map. Our goals are both convenience and transparency---we provide all details except for a proof of the additivity theorem for $mathrm{THH}$, which is taken for granted---and the exposition is concerned not with originality of ideas, but rather aims to provide a useful resource for learning about the Dennis trace and its underlying machinery.
التعليقات
جاري جلب التعليقات جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
mircosoft-partner

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