相关论文: Geometric realisation as the Skorokhod semi-contin…
In classical physics, the familiar sine and cosine functions appear in two forms: (1) geometrical, in the treatment of vectors such as forces and velocities, and (2) differential, as solutions of oscillation and wave equations. These two…
Equivariant Loday constructions are a means for providing geometric interpretations of equivariant homology theories. They are usually constructed for a simplicial $G$-set and a $G$-Tambara functor. We study situations where -- depending on…
The realization space of geometric constraint systems is given by the vanishing locus of polynomials corresponding to natural geometric constraints. Such geometric constraint systems arise in many real-world scenarios such as structural…
Relative realizability toposes satisfy a universal property that involves regular functors to other categories. We use this universal property to define what relative realizability categories are, when based on other categories than of the…
We show how Gromov's spaces of bounded geometries provide a general mathematical framework for addressing and solving many of the issues of $3D$-simplicial quantum gravity. In particular, we establish entropy estimates characterizing the…
The goal of this paper is to prove coherence results with respect to relational graphs for monoidal monads and comonads, i.e. monads and comonads in a monoidal category such that the endofunctor of the monad or comonad is a monoidal functor…
We investigate here all the possible invariant metric functions under the action of various kinds of semi-direct product Poincar\'e subgroups and their deformed partners. The investigation exhausts the possible theoretical frameworks for…
Geometric morphisms between realizability toposes are studied in terms of morphisms between partial combinatory algebras (pcas). The morphisms inducing geometric morphisms (the {\em computationally dense\/} ones) are seen to be the ones…
A new approach is suggested for the study of geometric symmetries in general relativity, leading to an invariant characterization of the evolutionary behaviour for a class of Spatially Homogeneous (SH) vacuum and orthogonal $\gamma -$law…
In this paper we develop a geometrical model of functional architecture for the processing of spatio-temporal visual stimuli. The model arises from the properties of the receptive field linear dynamics of orientation and speed-selective…
We demonstrate that the complex plane and a class of generalized Grushin planes $G_r$, where $r$ is a function satisfying specific requirements, are quasisymmetrically equivalent. Then using conjugation we are able to develop an analytic…
This thesis is concerned with extending the idea of geodesic completeness from pseudo-Riemannian to complex geometry: we take, however a completely holomorphicpoint of view; that is to say, a 'metric' will be a (meromorphic) symmetric…
We prove rigidity results describing contextually-constrained maps defined on Grassmannians and manifolds of ordered independent line tuples in finite-dimensional vector or Hilbert spaces. One statement in the spirit of the Fundamental…
We examine how generalised geometries can be associated with a labelled Dynkin diagram built around a gravity line. We present a series of new generalised geometries based on the groups $\mathit{Spin}(d,d)\times\mathbb{R}^+$ for which the…
Relational presheaves generalize traditional presheaves by going to the category of sets and relations (as opposed to sets and functions) and by allowing functors which are lax. This added generality is useful because it intuitively allows…
Geometric number systems, obtained by extending the real number system to include new anticommuting square roots of +1 and -1, provide a royal road to higher mathematics by largely sidestepping the tedious languages of tensor analysis and…
We exhibit the proximity frames and proximity homomorphisms as a Kleisli category of a comonad whose underlying functor takes a proximity frame to its frame of round ideals. This construction is known in the literature as {\em stable…
A geometric graph \G is a simple graph drawn in the plane, on points in general position, with straight-line edges. We call \G a geometric realization of the underlying abstract graph G. A geometric homomorphism from \G to \H is a vertex…
Conformal transformations of a Euclidean (complex) plane have some kind of completeness (sufficiency) for the solution of many mathematical and physical-mathematical problems formulated on this plane. There is no such completeness in the…
Let K be an algebraic number field. For a degree d rational morphism of projective n-space defined over K let R denote its minimal resultant ideal. For a fixed height function on the moduli space of dynamical systems this paper shows that…