Related papers: 'Hausdorff distance' via conical cocompletion

We establish a crossed product decomposition theorem for stabilized Cuntz--Pimsner algebras. This result extends Cuntz's classical decomposition for the Cuntz algebras $\mathcal{O}_n$ and reveals an implicit symmetric structure within…

We define the notion of exact completion with respect to an existential elementary doctrine. We observe that the forgetful functor from the 2-category exact categories to existential elementary doctrines has a left biadjoint that can be…

We compute the group homology, the topological K-theory of the reduced C^*-algebra, the algebraic K-theory and the algebraic L-theory of the group ring of the semi-direct product of the three-dimensional discrete Heisenberg group by Z/4.…

We introduce the group-compact coarse structure on a Hausdorff topological group in the context of coarse structures on an abstract group which are compatible with the group operations. We develop asymptotic dimension theory for the…

We introduce the category of singular 2-dimensional cobordisms and show that it admits a completely algebraic description as the free symmetric monoidal category on a twin Frobenius algebra, by providing a description of this category in…

In this note, we use the mass transference principle for rectangles, recently obtained by Wang and Wu (Math. Ann., 2021), to study the Hausdorff dimension of sets of "weighted $\Psi$-well-approximable" points in certain self-similar sets in…

Let $n, m\ge 2$. Let $\Gamma<\text{SO}^\circ(n+1,1)$ be a Zariski dense convex cocompact subgroup and $\Lambda\subset\mathbb{S}^n$ be its limit set. Let $\rho : \Gamma \to \text{SO}^\circ(m+1,1)$ be a Zariski dense convex cocompact faithful…

We introduce a new class of locally compact groups, namely the strongly compactly covered groups, which are the Hausdorff topological groups $G$ such that every element of $G$ is contained in a compact open normal subgroup of $G$. For…

Let $X$ be a quasi-projective variety and $f\colon X\to X$ a finite surjective endomorphism. We consider Zariski Dense Orbit Conjecture (ZDO), and Adelic Zariski Dense Orbit Conjecture (AZO). We consider also Kawaguchi-Silverman Conjecture…

We observe almost divisibility for the original Cuntz semigroup of a simple AH algebra with strict comparison. As a consequence, the properties of strict comparison, finite nuclear dimension, and Z-stability are equivalent for such…

Following ideas of Quillen it is shown that the graded K-theory of a Z^n-graded ring with support contained in a pointed cone is entirely determined by the K-theory of the subring of degree-0 elements.

First-order logic with dependent sorts, such as Makkai's first-order logic with dependent sorts (FOLDS), or Aczel's and Belo's dependently typed (intuitionistic) first-order logic (DFOL), may be regarded as logic enriched dependent type…

We provide examples of inductive fibrant replacements in fibrantly generated model categories constructed as Postnikov towers. These provide new types of arguments to compute homotopy limits in model categories. We provide examples for…

A new notion of independence relation is given and associated to it, the class of flat theories, a subclass of strong stable theories including the superstable ones is introduced. More precisely, after introducing this independence…

A phenomenological theory of rigid and saturated ferromagnetic conductors is constructed from a four-continuum model consisting of a rigid lattice continuum, a bound charge continuum for polarization, a circulating current continuum for…

Let $T$ be a complete, model complete o-minimal theory extending the theory of real closed ordered fields and assume that $T$ is power bounded. Let $K$ be a model of $T$ equipped with a $T$-convex valuation ring $\mathcal{O}$ and a…

In this paper, the class of (complex) quasi-Herglotz functions is introduced as the complex vector space generated by the convex cone of ordinary Herglotz functions. We prove characterization theorems, in particular, an analytic…

This article provides some basic results on weight structures, weight complex functors and homotopy categories. We prove that the full subcategories K(A)^{w < n}, K(A)^{w > n}, K(A)^- and K(A)^+ (of objects isomorphic to suitably bounded…

This paper aims to apply the tool of generalized existential completions of conjunctive doctrines, concerning a class $\Lambda$ of morphisms of their base category, to deepen the study of regular and exact completions of existential…

This paper considers the problem of building saturated models for first-order graded logics. We define types as pairs of sets of formulas in one free variable which express properties that an element is expected, respectively, to satisfy…