Related papers: An Intrisic Topology for Orthomodular Lattices

Homotopy Type Theory is a new field of mathematics based on the surprising and elegant correspondence between Martin-Lofs constructive type theory and abstract homotopy theory. We have a powerful interplay between these disciplines - we can…

In this work we build a quantum logic that allows us to refer to physical magnitudes pertaining to different contexts from a fixed one without the contradictions with quantum mechanics expressed in no-go theorems. This logic arises from…

Given a graded $E_1$-module over an $E_2$-algebra in spaces, we construct an augmented semi-simplicial space up to higher coherent homotopy over it, called its canonical resolution, whose graded connectivity yields homological stability for…

Persistence modules are a central algebraic object arising in topological data analysis. The notion of interleaving provides a natural way to measure distances between persistence modules. We consider various classes of persistence modules,…

It is shown that the lattices of flats of boolean representable simplicial complexes are always atomistic, but semimodular if and only if the complex is a matroid. A canonical construction is introduced for arbitrary finite atomistic…

We explore various semantic understandings of dual intuitionistic logic by exploring the relationship between co-Heyting algebras and topological spaces. First, we discuss the relevant ideas in the setting of Heyting algebras and…

The main focus of the paper is the investigation of moduli space of left invariant pseudoRiemannian metrics on the cotangent bundle of Heisenberg group. Consideration of orbits of the automorphism group naturally acting on the space of the…

Topological materials exhibit protected edge modes that have been proposed for applications in for example spintronics and quantum computation. While a number of such systems exist, it would be desirable to be able to test theoretical…

This is the first paper in a series on intrinsic Donaldson-Thomas theory, where we develop a new framework for enumerative geometry that allows the generalization of constructions and results from linear moduli stacks to general non-linear…

We exhibit a simple uniruledness criterion for general orthogonal modular varieties in terms of invariants of the corresponding lattice. As an application, we obtain the uniruledness of almost all Nikulin--Vinberg moduli spaces…

We present a topological approach to the input-output relations of photonic driven-dissipative lattices acting as directional amplifiers. Our theory relies on a mapping from the optical non-Hermitian coupling matrix to an effective…

K-Theory for hermitian symmetric spaces of non-compact type, as developed recently by the authors, allows to put Cartan's classification into a homological perspective. We apply this method to the case of inductive limits of finite…

The moduli space of convex projective structures on a simplicial hyperbolic Coxeter orbifold is either a point or the real line. Answering a question of M. Crampon, we prove that in the latter case, when one goes to infinity in the moduli…

A lattice L is spatial if every element of L is a join of completely join-irreducible elements of L (points), and strongly spatial if it is spatial and the minimal coverings of completely join-irreducible elements are well-behaved.…

Hilbert initiated the standpoint in foundations of mathematics. From this standpoint, we allow only a finite number of repetitions of elementary operations when we construct objects and morphisms. When we start from a subset of a Euclidean…

This paper is an introductory and informal exposition on the topology of polygonal meshes. We begin with a broad overview of topological notions and discuss how homeomorphisms, homotopy, and homology can be used to characterise topology. We…

We investigate spaces of operators which are invariant under translations or modulations by lattices in phase space. The natural connection to the Heisenberg module is considered, giving results on the characterisation of such operators as…

In the framework of algebraic topology the closed sequence of 4-dimensional polyhedra(algebraic polytopes) was defined. These polytopes were determined by the second coordination sphere of 8-dimensional lattice E8. The ordered…

As algebraic semantics of the logic of quantum mechanics there are usually used orthomodular posets, i.e. bounded posets with a complementation which is an antitone involution and where the join of orthogonal elements exists and the…

We investigate the representation of lattices as sublattices of the lattice of all convex subsets (intervals) of a linearly ordered set $(X,\le)$. We introduce the purely lattice-theoretic notion of a \textit{loc-lattice} and prove that…