Related papers: Generating geometry axioms from poset axioms
For two non-congruent regular polygons of the same type, the method of finding the points in the plane at the equal distances to the vertices, is established. The existence of two points with this property is proved for two polygons with a…
A pedagogical but concise overview of Riemannian geometry is provided, in the context of usage in physics. The emphasis is on defining and visualizing concepts and relationships between them, as well as listing common confusions,…
The present work is a review of a series of papers, published in the last ten years, comprising an attempt to find a suitable avenue from geometry to quantum. It shows clearly that, any non-symmetric geometry admits some built-in quantum…
In this article we present an axiomatic definition of sets with individuals and a definition of natural numbers and ordinals. We use the axioms pairs, union, power, regularity and separation. We define the equality of sets and of…
The noninvertible axial symmetry constructed from the ABJ-anomaly has attracted enormous interest. We discuss the mechanism of "symmetry-from-anomaly" in condensed matter-related models in both 1d and 3d spaces (which correspond to (1+1)d…
Abstract axiomatic formulation of mathematical structures are extensively used to describe our physical world. We take here the reverse way. By making basic assumptions as starting point, we reconstruct some features of both geometry and…
In this paper, I introduce a new generalization of the concept of an operad, further generalizing the concept of an opetope introduced by Baez and Dolan, who used this for the definition of their version of non-strict $n$-categories.…
If a (non-constant) polynomial has no zero, then a certain Riemannian metric is constructed on the two dimensional sphere. Several geometric arguments are then shown to contradict this fact.
A geometric graph is a simple graph G together with a straight line drawing of G in the plane with the vertices in general position. Two geometric realizations of a simple graph are geo-isomorphic if there is a vertex bijection between them…
A finite poset X carries a natural structure of a topological space. Fix a field k, and denote by D(X) the bounded derived category of sheaves of finite dimensional k-vector spaces over X. Two posets X and Y are said to be derived…
The following questions are germane to our understanding of gauge-(in)variant quantities and physical possibility: how are gauge transformations and spacetime diffeomorphisms understood as symmetries, in which ways are they similar, and in…
When considering geometry, one might think of working with lines and circles on a flat plane as in Euclidean geometry. However, doing geometry in other spaces is possible, as the existence of spherical and hyperbolic geometry demonstrates.…
The proper Euclidean geometry is considered to be metric space and described in terms of only metric and finite metric subspaces (sigma-immanent description). Constructing the geometry, one does not use topology and topological properties.…
We argue for Brackets Consistency to be a `Pillar of Geometry', i.e. a foundational approach, other Pillars being 1) Euclid's constructive approach, 2) the algebraic approach, 3) the projective approach, and 4) the geometrical automorphism…
We give Ramsey expansions of classes of generalised metric spaces where distances come from a linearly ordered commutative monoid. This complements results of Conant about the extension property for partial automorphisms and extends an…
The origin of nonclassicality in quantum mechanics (QM) has been investigated recently by a number of authors with a view to identifying axioms that would single out quantum mechanics as a special theory within a broader framework such as…
Some models of set theory are given which contain sets that have some of the important characteristics of being geometric, or spatial, yet do not have any points, in various ways. What's geometrical is that there are functions to these…
Recently, it has been shown that Absolute Parallelism (AP) geometry admits paths that are naturally quantized. These paths have been used to describe the motion of spinning particles in a background gravitational field. In case of a weak…
This paper is a commentary and a reading guide to three papers by Herbert Busemann, \"Uber die Geometrien, in denen die "Kreise mit unendlichem Radius" die k\"urzesten Linien sind." (On the geometries where circles of infinite radius are…
The geometries of spaces having as groups the real orthogonal groups and some of their contractions are described from a common point of view. Their central extensions and Casimirs are explicitly given. An approach to the trigonometry of…