Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userAn Elementary Approach to Truncations
51
0
0.0
(
0
)
Authors
Nima Rasekh
Ask ChatGPT about the research
No Arabic abstract
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
rate research
Read More
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 countability 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(mathbb{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$.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
