Related papers: Aronszajn and Sikorski subcartesian differential s…
We define the notion of a submersion of subcartesian differential spaces and prove some of its properties, which are analogous to those of a submersion in the category of smooth manifolds and smooth mappings.
We consider a class of compacta X such that the maps from X onto metric compacta define an Aronszajn tree of closed subsets of X.
The cartesian structure possessed by relations, spans, profunctors, and other such morphisms is elegantly expressed by universal properties in double categories. Though cartesian double categories were inspired in part by the older program…
The complete classification of classical $r$-matrices generating quantum deformations of the (3+1)-dimensional (A)dS and Poincar\'e groups such that their Lorentz sector is a quantum subgroup is presented. It is found that there exists…
Relational structures are emerging as ubiquitous mathematical machinery in the semantics of open systems of various kinds. Cartesian bicategories are a well-known categorical algebra of relations that has proved especially useful in recent…
We combine two recent ideas: cartesian differential categories, and restriction categories. The result is a new structure which axiomatizes the category of smooth maps defined on open subsets of $\R^n$ in a way that is completely algebraic.…
We show that the differential structure of the orbit space of a proper action of a Lie group on a smooth manifold is continuously reflexive. This implies that the orbit space is a differentiable space in the sense of Smith, which ensures…
The classification of 4-dimensional naturally reductive pseudo-Riemannian spaces is given. This classification comprises symmetric spaces, the product of 3-dimensional naturally reductive spaces with the real line and new families of…
In this paper we construct the category of birational spaces as the category in which Temkin's relative Riemann-Zariski spaces are naturally included. Furthermore we develop an analogue of Raynaud's theory. We prove that the category of…
This is the first of a series of papers which are devoted to a comprehensive theory of maps between orbifolds. In this paper, we define the maps in the more general context of orbispaces, and establish several basic results concerning the…
A notion of differentiability is being proposed for maps between Wasserstein spaces of order 2 of smooth, connected and complete Riemannian manifolds. Due to the nature of the tangent space construction on Wasserstein spaces, we only give a…
Assuming the existence of a proper class of supercompact cardinals, we force that for every regular cardinal $\kappa$, there are $\kappa^+$-Aronszajn trees and all such trees are special.
Spaces of differential forms over configuration spaces with Poisson measures are constructed. The corresponding Laplacians (of Bochner and de Rham type) on forms and associated semigroups are considered. Their probabilistic interpretation…
We establish exact conditions for non triviality of all subspaces of the standard Hardy space in the upper half plane, that consist of character automorphic functions with respect to the action of a discrete subgroup of $SL_2(\mathbb R)$.…
It was recently demonstrated that super-Schwarzian derivatives can be constructed from the Cartan forms of the super-conformal supergroups $OSp(1|2),SU(1,1|1), OSp(3|2), SU(1,1|2)$. Roughly speaking, the super-Schwarzian is just the…
We construct a complex of differential forms on a local $C^\infty$-ringed space. The two main classes of spaces we have in mind are differential spaces in the sense of Sikorski and $C^\infty$-schemes. Just as in the case of manifolds the…
As a practical foundation for a homotopy theory of abstract spacetime, we extend a category of certain compact partially ordered spaces to a convenient category of locally preordered spaces. In particular, we show that our new category is…
The well known equivalence between preorders and Alexandrov spaces is extended to an equivalence between arbitrary topological spaces and spatial fibrous preorders, a new notion to be introduced.
We develop a categorical framework for reasoning about abstract properties of differentiation, based on the theory of fibrations. Our work encompasses the first-order fragments of several existing categorical structures for differentiation,…
An orthogonality space is a set together with a symmetric and irreflexive binary relation. Any linear space equipped with a reflexive and anisotropic inner product provides an example: the set of one-dimensional subspaces together with the…