Related papers: 'Hausdorff distance' via conical cocompletion
Chain complexes of finitely generated free modules over orbit categories provide natural algebraic models for finite G-CW complexes with prescribed isotropy. We prove a p-hypoelementary Dress induction theorem for K-theory over the orbit…
A distance between von Neumann algebras is introduced, depending on a further norm inducing the $w^*$-topology on bounded sets. Such notion is related both with the Gromov-Hausdorff distance for quantum metric spaces of Rieffel and with the…
This paper concerns the problem of lifting a KZ doctrine P to the 2-category of pseudo T-algebras for some pseudomonad T. Here we show that this problem is equivalent to giving a pseudo-distributive law (meaning that the lifted pseudomonad…
In 2006, Restorff completed the classification of all Cuntz-Krieger algebras with finitely many ideals (i.e., those that are purely infinite) up to stable isomorphism. He left open the questions concerning strong classification up to stable…
This paper considers completions of COMs (complexes oriented matroids) to ample partial cubes of the same VC-dimension. We show that these exist for OMs (oriented matroids) and CUOMs (complexes of uniform oriented matroids). This implies…
We show that the KZ system has a purely topological interpretation in the sense that it may be understood as a variation of complex mixed Hodge structure whose successive pure weight quotients are polarized. This in a sense completes and…
We give sufficient conditions for the existence of a Quillen model structure on small categories enriched in a given monoidal model category. This yields a unified treatment for the known model structures on simplicial, topological, dg- and…
We introduce a certain class of so-called perfectoid rings and spaces, which give a natural framework for Faltings' almost purity theorem, and for which there is a natural tilting operation which exchanges characteristic 0 and…
The holographic principle implies that quantum field theory overcounts the number of independent degrees of freedom in quantum gravity. An argument due to Cohen, Kaplan, and Nelson (CKN) suggests that the number of degrees of freedom…
As composites of constant, (co)product, identity, and powerset functors, Kripke polynomial functors form a relevant class of $\mathsf{Set}$-functors in the theory of coalgebras. The main goal of this paper is to expand the theory of limits…
We show that the (typical) quantitative considerations about proper (as too big) and small classes are just tangential facts regarding the consistency of Zermelo-Fraenkel Set Theory with Choice. Effectively, we will construct a first-order…
Distances between sets arise naturally when modeling stochastic dependence on collections of spatial supports, including settings with point-referenced and areal observations. However, commonly used constructions of distances on sets,…
It is observed that certain convex envelopes of Wightman type functionals corresponding to scalar, stochastically positive quantum fields consist of Wightman type functionals only .This leads to the construction of a large classes of not…
Rosenfeld's fundamental measure theory for lattice models is given a rigorous formulation in terms of the theory of Mobius functions of partially ordered sets. The free-energy density functional is expressed as an expansion in a finite set…
The statement that one can approximate a quantum torus by some twisted convolution C*-algebra of a (finite) quotient of Z^d can be found in the physics literature dealing with quantum field theory and M-theory. In this paper, we show that…
By a quantum metric space we mean a C^*-algebra (or more generally an order-unit space) equipped with a generalization of the Lipschitz seminorm on functions which is defined by an ordinary metric. We develop for compact quantum metric…
The Cuntz semigroup of a C*-algebra is an important invariant in the structure and classification theory of C*-algebras. It captures more information than K-theory but is often more delicate to handle. We systematically study the lattice…
Let $C$ be a cone in a locally convex Hausdorff topological vector space $X$ containing $0$. We show that there exists a (essentially unique) nonempty family $\mathscr{K}$ of nonempty subsets of the topological dual $X^\prime$ such that $$…
We discuss some axioms that ensure that a Hopf algebra has its simple comodules classified using an analogue of the Borel-Weil construction. More precisely we show that a Hopf algebra having a dense big cell satisfies the above requirement.…
This paper examines $\mathbb{Z}$-graded manifolds as semiformal homogeneity structures, comparing two polynomial filtrations from their local models. In finite dimensions, these are componentwise equivalent, yielding isomorphic graded…