Related papers: Free construction of CAT(1) spaces
We construct examples of centrally harmonic spaces by generalizing work of Copson and Ruse. We show that these examples are generically not centrally harmonic at other points. We use this construction to exhibit manifolds which are not…
We show the equivalence of several constructions of the category of condensed sets by using free resolutions of compact Hausdorff spaces. We also give an elementary construction of the condensed set associated to any presheaf on compact…
We define the notion of extrinsic symplectic symmetric spaces and exhibit some of their properties. We construct large families of examples and show how they fit in the perspective of a complete classification of these manifolds. We also…
We investigate various notions of rough CAT(0). These conditions define classes of spaces that strictly include the union of all Gromov hyperbolic length spaces and all CAT(0) spaces.
We survey the logical structure of constructive set theories and point towards directions for future research. Moreover, we analyse the consequences of being extensible for the logical structure of a given constructive set theory. We…
The aim of this paper is two-fold. First, the study of $C_{12}$-structure (called by us corner structure) is extended to the general case without any condition, unlike our previous papers (see, \cite{BB, BG2, BG, BBB}). Second, starting…
We provide a co-free construction which adds elementary structure to a primary doctrine. We show that the construction preserves comprehensions and all the logical operations which are in the starting doctrine, in the sense that it maps a…
We give an easy method for constructing containers for simple hypergraphs. Some applications are given; in particular, a very transparent calculation is offered for the number of H-free hypergraphs, where H is some fixed uniform hypergraph.
We consider the general problem of constructing the structure of a smooth manifold on a given space of loops in a smooth finite dimensional manifold. By generalising the standard construction for smooth loops, we derive a list of conditions…
We introduce an analogue to the amalgamation of metric spaces into the setting of Lorentzian pre-length spaces. This provides a very general process of constructing new spaces out of old ones. The main application in this work is an…
We give a description of the construction of Chevalley supergroups, providing some explanatory examples. We avoid the discussion of the $A(1,1)$, $P(3)$ and $Q(n)$ cases, for which our construction holds, but the exposition becomes more…
We propose a construction of separated quotient space and apply this construction for simple description of Study-Semple-Satake-Furstenberg-De Concini-Procesi-Oshima boundary of symmetric space
We construct the exchange gate with small elementary gates on the space of qudits, which consist of three controlled shift gates and three "reverse" gates. This is a natural extension of the qubit case. We also consider a similar subject on…
This paper initiates the study of picture fuzzy topological spaces. In order to develop a mechanism to construct picture fuzzy topological spaces, we prove some basic results related to picture fuzzy sets together with the introduction of…
This paper gives a method to construct rigid spaces, which is similar to the method used to construct toric schemes.
We present a method of constructing a space of quantum states for a field theory: given phase space of a theory, we define a family of physical systems each possessing a finite number of degrees of freedom, next we define a space of quantum…
The first examples of exceptional terminal singularities are constructed.
Simple constructions are given for finite semifields that include as special cases both old semifields and recently constructed semifields.
We construct two Hilbert spaces over the set of all metrics of arbitrary but fixed signature, defined on a manifold. Every state in one of the Hilbert spaces is built of an uncountable number of wave functions representing some elementary…
Quantization of spacetime by means of finite dimensional matrices is the basic idea of fuzzy spaces. There remains an issue of quantizing time, however, the idea is simple and it provides an interesting interplay of various ideas in…