Related papers: Paracompactness and Open Relations

We revisit the problem of local normality of Kraus-Polley-Reents infravacuum representations and provide a straightforward proof based on the Araki-Yamagami criterion. We apply this result to the theory of superselection sectors. Namely, we…

In this paper, locally Lipschitz functions acting between infinite dimensional normed spaces are considered. When the range is a dual space and satisfies the Radon--Nikod\'ym property, Clarke's generalized Jacobian will be extended to this…

A dual pair formulation for asymmetric locally convex spaces is developed that strictly generalises the ordinary vector space setting. The concept of a polar topology carries over to the asymmetric case and some familiar results are…

The aim of this work is to further develop the calculus of (internal) relations for a regular Ord-category C. To capture the enriched features of a regular Ord-category and obtain a good calculus, the relations we work with are precisely…

This paper is concerned with the Riemann problem for the two-dimensional barotropic compressible Euler system with a general strictly increasing pressure law. By means of convex integration, the existence of infinitely many admissible weak…

We extend to binary relational systems the notion of compact and normal structure, introduced by J.P.Penot for metric spaces, and we prove that for the involutive and reflexive ones, every commuting family of relational homomorphisms has a…

Every open continuous map f from a space X onto a paracompact C-space Y admits two disjoint closed subsets of X so that their image by f is Y provided all fibers of f are infinite and C*-embedded in X. Applications are demonstrated for the…

In addition to Pisier's counterexample of a non-accessible maximal Banach ideal, we will give a large class of maximal Banach ideals which {\it{are accessible}}. The first step is implied by the observation that a "good behaviour" of trace…

Using convex Grothendieck fibrations, we characterize the von Neumann entropy as a functor from finite-dimensional non-commutative probability spaces and state-preserving *-homomorphisms to real numbers. Our axioms reproduce those of Baez,…

Dimensional types of metric scattered spaces are investigated. Revised proofs of Mazurkiewicz-Sierpi\'nski and Knaster-Urbanik theorems are presented. Embeddable properties of countable metric spaces are generalized onto uncountable metric…

The goal of this article is to develop the theory of presentable categories and topoi internal to an arbitrary $\infty$-topos $\mathcal{B}$. Our main results are internal analogues of Lurie's and Lurie-Simpson's characterisations of…

We consider a combinatorial property isolated in the field of ideal convergence, a P-property for two ideals on natural numbers. We show that among selected ideals induced by disjoint families, not all pairs satisfy P-property for two…

We introduce a vector-valued version of a uniform algebra, called the vector-valued function space over a uniform algebra. The diameter two properties of the vector-valued function space over a uniform algebra on an infinite compact…

Normal ideals on regular uncountable cardinals are familiar objects. We investigate ideals that are pleasant--while a normal ideal is closed under arbitrary diagonal unions, a pleasant ideal is closed only under diagonal unions indexed by…

G\'alvez-Carrillo, Kock, and Tonks constructed a decomposition space $U$ of all M\"obius intervals, as a recipient of Lawvere's interval construction for M\"obius categories, and conjectured that $U$ enjoys a certain universal property: for…

We study a generalized notion of a homogeneous skew-product extension of a probability-preserving system in which the homogeneous space fibres are allowed to vary over the ergodic decomposition of the base. The construction of such…

This paper relates comparative belief structures and a general view of belief management in the setting of deductively closed logical representations of accepted beliefs. We show that the range of compatibility between the classical…

Let M be a transitive model of set theory and X be a space in the sense of M. Is there a reasonable way to interpret X as a space in V? A general theory due to Zapletal provides a natural candidate which behaves well on sufficiently…

We consider countable linear orders and study the quasi-order of convex embeddability and its induced equivalence relation. We obtain both combinatorial and descriptive set-theoretic results, and further extend our research to the case of…

Employing Morse theory for the global control of monodromy and the method of analytic discs for local extension, we establish a version of the global Hartogs extension theorem in a singular setting: for every domain D of an (n-1)-complete…