اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدAn Elementary Approach to Truncations
51
0
0.0
(
0
)
تأليف
Nima Rasekh
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
We study truncated objects using elementary methods. Concretely, we use universes and the resulting natural number object to define internal truncation levels and prove they behave similar to standard truncated objects. Moreover, we take an elementary approach to localizations, giving various equivalent conditions that characterize localizations and constructing a localization out of a sub-universe of local objects via an internal right Kan extension. We then use this general approach, as well as an inductive approach, to construct truncation functors. We use the resulting truncation functors to prove classical results about truncations, such as Blakers-Massey theorem, in the elementary setting. We also give examples of non-presentable $(infty, 1)$-categories where the elementary approach can be used to define and compute truncations. Finally, we turn around and use truncations to study elementary $(infty, 1)$-toposes and show how they can help us better understand subobject classifiers and universes
قيم البحث
اقرأ أيضاً
Mittag-Leffler condition ensures the exactness of the inverse limit of short exact sequences indexed on a partially ordered set $(I,leq)$ admitting a $countable$ cofinal subset. We extend Mittag-Leffler condition by relatively relaxing the countabili
ty assumption. As an application we prove an ultrametric analogous of a result of V.P.Palamodov in relation with the acyclicity of Frechet spaces with respect to the completion functor.
We prove a stabilization theorem for algebras of n-operads in a monoidal model category. It implies a version of Baez-Dolan stabilization hypothesis for Rezks weak n-categories and some other stabilization results.
There is an equivalence relation on the set of smooth maps of a manifold into the stable unitary group, defined using a Chern-Simons type form, whose equivalence classes form an abelian group under ordinary block sum of matrices. This construction is
functorial, and defines a differential extension of odd K-theory, fitting into natural commutative diagrams and exact sequences involving K-theory and differential forms. To prove this we obtain along the way several results concerning even and odd Chern and Chern-Simons forms.
Let $mathcal{C}$ be a finitely bicomplete category and $mathcal{W}$ a subcategory. We prove that the existence of a model structure on $mathcal{C}$ with $mathcal{W}$ as subcategory of weak equivalence is not first order expressible. Along the way we
characterize all model structures where $mathcal{C}$ is a partial order and show that these are determined by the homotopy categories.
We present an alternative approach to the theory of free Gibbs states with convex potentials. Instead of solving SDEs, we combine PDE techniques with a notion of asymptotic approximability by trace polynomials for a sequence of functions on $M_N(math
bb{C})_{sa}^m$ to prove the following. Suppose $mu_N$ is a probability measure on on $M_N(mathbb{C})_{sa}^m$ given by uniformly convex and semi-concave potentials $V_N$, and suppose that the sequence $DV_N$ is asymptotically approximable by trace polynomials. Then the moments of $mu_N$ converge to a non-commutative law $lambda$. Moreover, the free entropies $chi(lambda)$, $underline{chi}(lambda)$, and $chi^*(lambda)$ agree and equal the limit of the normalized classical entropies of $mu_N$.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
