Related papers: The assembly of a pointfree bispace and its two va…
Linearly distributive categories were introduced to model the tensor/par fragment of linear logic, without resorting to the use of negation. Linear bicategories are the bicategorical version of linearly distributive categories. Essentially,…
We define two model structures on the category of bicomplexes concentrated in the right half plane. The first model structure has weak equivalences detected by the totalisation functor. The second model structure's weak equivalences are…
A well-known class of questions asks the following: If $X$ and $Y$ are metric measure spaces and $f:X\rightarrow Y$ is a Lipschitz mapping whose image has positive measure, then must $f$ have large pieces on which it is bi-Lipschitz?…
This paper addresses dense sub-objects for point-free bitopology in terms of $d$-frames and provides several examples. We characterize extremal epimorphisms in $d$-frames and show that a smallest dense one always exists, establishing a…
We revisit results concerning the connection between subspaces of a space and sublocales of its locale of open sets. The approach we present is based on the observation that for every locale $L$ its spatial sublocales…
In two-dimensional conformal field theory, we analyze conformally invariant boundary conditions which break part of the bulk symmetries. When the subalgebra that is preserved by the boundary conditions is the fixed algebra under the action…
A topological space is iso-dense if it has a dense set of isolated points. A topological space is scattered if each of its non-empty subspaces has an isolated point. In $\mathbf{ZF}$, in the absence of the axiom of choice, basic properties…
We explain how to see finite combinatorics of preorders implicit in the {text} of basic topological definitions or arguments in (Bourbaki, General topology, Ch.I), and define a concise combinatorial notation such that complete definitions…
Orbit-finite models of computation generalise the standard models of computation, to allow computation over infinite objects that are finite up to symmetries on atoms, denoted by $\mathbb{A}$. Set theory with atoms is used to reason about…
Open sets and compact saturated sets enjoy a perfect formal symmetry, at least for classes of spaces such as Stone spaces or spectral spaces. For larger classes of spaces, a perfect symmetry may not be available, although strong signs of it…
For every finitary set functor F we demonstrate that free algebras carry a canonical partial order. In case F is bicontinuous, we prove that the cpo obtained as the conservative completion of the free algebra is the free completely…
We investigate the global structure of topological defects which wrap a submanifold $F\subset M$ in a quantum field theory defined on a closed manifold $M$. The Pontryagin-Thom construction oversees the interplay between the global…
In combinatorial topology we aim to triangulate manifolds such that their topological properties are reflected in the combinatorial structure of their description. Here, we give a combinatorial criterion on when exactly triangulations of…
We review some basic theorems on integrability of Hamiltonian systems, namely the Liouville-Arnold theorem on complete integrability, the Nekhoroshev theorem on partial integrability and the Mishchenko-Fomenko theorem on noncommutative…
We develop a family of finite element spaces of differential forms defined on cubical meshes in any number of dimensions. The family contains elements of all polynomial degrees and all form degrees. In two dimensions, these include the…
We present an expository overview of the monoidal structures in the category of linearly compact vector spaces. Bimonoids in this category are the natural duals of infinite-dimensional bialgebras. We classify the relations on words whose…
We discuss various infinite-dimensional configuration spaces that carry measures quasiinvariant under compactly-supported diffeomorphisms of a manifold M corresponding to a physical space. Such measures allow the construction of unitary…
Inspired by the all-important conformal invariance of harmonic maps on two-dimensional domains, this article studies the relationship between biharmonicity and conformality. We first give a characterization of biharmonic morphisms,…
We show that the biflatness - in the sense of A. Ya. Helemskii - of the Fourier algebra $A(G)$ of a locally compact group $G$ forces $G$ to either have an abelian subgroup of finite index or to be non-amenable without containing $F_2$, the…
We introduce semiframes (an algebraic structure) and investigate their duality with semitopologies (a topological one). Both semitopologies and semiframes are relatively recent developments, arising from a novel application of topological…