Related papers: Category-measure duality: convexity, mid-point con…
We propose a field theory of closed $p$-brane $C_p^{}$ interacting with a $(p+1)$-form gauge field $A_{p+1}^{}$. This is a generalization of the Ginzburg-Landau theory (Abelian-Higgs model) for superconducting particles to…
We show that the regular patterns of Getzler (2009) form a 2-category biequivalent to the 2-category of substitudes of Day and Street (2003), and that the Feynman categories of Kaufmann and Ward (2013) form a 2-category biequivalent to the…
We present a proof of Arrow's theorem from social choice theory that uses a fixpoint argument. Specifically, we use Banach's result on the existence of a fixpoint of a contractive map defined on a complete metric space. Conceptually, our…
In 1962, H. de Vries proved a duality theorem for the category {\bf HC} of compact Hausdorff spaces and continuous maps. The composition of the morphisms of the dual category obtained by him differs from the set-theoretic one. Here we…
Contextuality is a necessary resource for universal quantum computation and non-contextual quantum mechanics can be simulated efficiently by classical computers in many cases. Orders of Planck's constant, $\hbar$, can also be used to…
S. Banach pointed out that the graph of the generic (in the sense of Baire category) element of $\text{Homeo}([0,1])$ has length $2$. J. Mycielski asked if the measure theoretic dual holds, i.e., if the graph of all but Haar null many (in…
The S-measure construction from nonstandard analysis is used to prove an extension of a result on the intersection of sets in a finitely-additive measure space. This is then used to give a density-limit version of a representation theorem…
We show that for a $\sigma $-ideal $\ci$ with a Steinhaus property defined on Banach space, if two non-homeomorphic Banach with the same cardinality of the Hamel basis then there is a $\ci$ nonmeasurable subset as image by any isomorphism…
We use duality theorems to obtain presentations of some categories of modules. To derive these presentations we generalize a result of Cautis-Kamnitzer-Morrison [arXiv:1210.6437v4]: Let $\mathfrak{g}$ be a reductive Lie algebra, and $A$ an…
We investigate the connections between UC and UC* properties for ordered pairs of subsets (A,B) in metric spaces, which are involved in the study of existence and uniqueness of best proximity points. We show that the $UC^{*}$ property is…
We study Banach spaces satisfying some geometric or structural properties involving tightness of transfinite sequences of nested linear subspaces. These properties are much weaker than WCG and closely related to Corson's property (C). Given…
The linear continuity of a function defined on a vector space means that its restriction on every affine line is continuous. For functions defined on $\mathbb R^m$ this notion is near to the separate continuity for which it is required only…
We show that whenever a separable subset $S$ of a complete metric space $X$ admits a $d$-dimensional weak tangent field, the set $S$ is close to being $d$-dimensional in the following sense. Whenever $\mu$ is a Borel finite measure on $X$…
We establish the Subgradient Theorem for monotone correspondences -- a monotone correspondence is equal to the subdifferential of a potential if and only if it is conservative, i.e. its integral along a closed path vanishes irrespective of…
The purpose of this note is to generalize the celebrated Ran and Reurings fixed point theorem to the setting of a space with a binary relation that is only transitive (and not necessarily a partial order) and a relation-complete metric. The…
We study properties of continuous semi-homogeneous operators of degree $k$ via various functions (e.g. measures of noncompactness) on all bounded subsets of a Banach space. We prove necessary and sufficient conditions for these functions to…
We give a short proof of an improved version of the Effros Open Mapping Principle via a shift-compactness theorem (also with a short proof), involving `sequential analysis' rather than separability, deducing it from the Baire property in a…
We present some extensions of classical results that involve elements of the dual of Banach spaces, such as Bishop-Phelp's theorem and James' compactness theorem, but restricting to sets of functionals determined by geometrical properties.…
We investigate an enriched-categorical approach to a field of discrete mathematics. The main result is a duality theorem between a class of enriched categories (called $\overline{\mathbb{Z}}$- or $\overline{\mathbb{R}}$-categories) and that…
The standard theory of Banach spaces is built upon the notions of vector space, triangle inequality and Cauchy completeness. Here we propose a `hyperbolic' variant of this `elliptic' framework where general linear combinations are replaced…