Related papers: The Synthetic Sierpi\'nski Cone
We determine the explicit universal form of the entanglement and Renyi entropies, for regions with arbitrary boundary on a null plane or the light-cone. All the entropies are shown to saturate the strong subadditive inequality. This Renyi…
A nonempty closed convex set in ${\mathbb R}^n$, not containing the origin, is called a pseudo-cone if with every $x$ it also contains $\lambda x$ for $x\ge 1$. We consider pseudo-cones with a given recession cone $C$, called…
We introduce a flexible, categorical framework for large-scale geometry that clarifies basic behaviour of the metric Rips filtration and streamlines some constructions in geometric group theory. The paper has two main parts. First, we…
This paper introduces the notion of complete connectedness of a Grothendieck topos, defined as the existence of a left adjoint to a left adjoint to a left adjoint to the global sections functor, and provides many examples. Typical examples…
In previous work, the second author introduced a topology, for spaces of irreducible representations, that reduces to the classical Zariski topology over commutative rings but provides a proper refinement in various noncommutative settings.…
In this paper we consider a partial overdetermined mixed boundary value problem in domains inside a cone as in [18]. We show that in cones having an isoperimetric property the only domains which admit a solution and which minimize a…
Every homomorphism from finite index subgroups of a universal lattices to mapping class groups of orientable surfaces (possibly with punctures), or to outer automorphism groups of finitely generated nonabelian free groups must have finite…
A Minkowski class is a closed subset of the space of convex bodies in Euclidean space Rn which is closed under Minkowski addition and non-negative dilatations. A convex body in Rn is universal if the expansion of its support function in…
A theorem of Sierpi\'nski says that every infinite set Q of reals contains an infinite number of disjoint subsets whose outer Lebesgue measure is the same as that of Q. He also has a similar theorem involving the Baire property. We give a…
Using a categorial version of Fra\"iss\'e's theorem due to Droste and G\"obel, we derive a criterion for a comma-category to have universal homogeneous objects. As a first application we give new existence result for universal structures…
In previous work, we introduce an axiomatic framework within which to prove theorems about many varieties of infinite-dimensional categories simultaneously. In this paper, we establish criteria implying that an $\infty$-category - for…
This paper discusses a more general contractive condition for a class of extended cyclic self-mappings on the union of a finite number of subsets of a metric space which are allowed to have a finite number of successive images in the same…
We study the homotopy theory of locally ordered spaces, that is manifolds with boundary whose charts are partially ordered in a compatible way. Their category is not particularly well-behaved with respect to colimits. However, this category…
In proper homotopy theory, the original concept of point used in the classical homotopy theory of topological spaces is generalized in order to obtain homotopy groups that study the infinite of the spaces. This idea: "Using any arbitrary…
A lifting of a semilattice S is an algebra A such that the semilattice of compact (=finitely generated) congruences of A is isomorphic to S. The aim of this work is to give a categorical theory of partial algebras endowed with a partial…
We present a new notion of non-positively curved groups: the collection of discrete countable groups acting (AU-)acylindrically on finite products of $\delta$-hyperbolic spaces with general type factors. Inspired by the classical theory of…
We establish an analogue of the Grothendieck inequality where the rectangular matrix is replaced by a symmetric/Hermitian matrix and the bilinear form by a quadratic form. We call this the symmetric Grothendieck inequality; despite its…
The following selection theorem is established:\\ Let $X$ be a compactum possessing a binary normal subbase $\mathcal S$ for its closed subsets. Then every set-valued $\mathcal S$-continuous map $\Phi\colon Z\to X$ with closed $\mathcal…
Lusternik-Schnirelmann category (LS-category) of a topological space is the least integer $n$ such that there is a covering of $X$ by $n+1$ open sets, each of them being contractible in $X$. The cone length is the minimum number of…
This paper is devoted to the study of semigroups of composition operators and semigroups of holomorphic mappings. We establish conditions under which these semigroups can be extended in their parameter to sector given a priori. We show that…