On the coset category of a skew lattice

Skew lattices are non-commutative generalizations of lattices. The coset structure decomposition is an original approach to the study of these algebras describing the relation between its rectangular classes. In this paper we will look at the category determined by these rectangular algebras and the morphisms between them, showing that not all skew lattices can determine such a category. Furthermore, we will present a class of examples of skew lattices in rings that are not strictly categorical, and present sufficient conditions for skew lattices of matrices in rings to constitute $\wedge$-distributive skew lattices.Comment: 17 pages, submitted to Demonstratio Mathematica. arXiv admin note: text overlap with arXiv:1212.649

On ideals of a skew lattice

Ideals are one of the main topics of interest to the study of the order structure of an algebra. Due to their nice properties, ideals have an important role both in lattice theory and semigroup theory. Two natural concepts of ideal can be derived, respectively, from the two concepts of order that arise in the context of skew lattices. The correspondence between the ideals of a skew lattice, derived from the preorder, and the ideals of its respective lattice image is clear. Though, skew ideals, derived from the partial order, seem to be closer to the specific nature of skew lattices. In this paper we review ideals in skew lattices and discuss the intersection of this with the study of the coset structure of a skew lattice.Comment: 16 page

A non-commutative Priestley duality

We prove that the category of left-handed strongly distributive skew lattices with zero and proper homomorphisms is dually equivalent to a category of sheaves over local Priestley spaces. Our result thus provides a non-commutative version of classical Priestley duality for distributive lattices and generalizes the recent development of Stone duality for skew Boolean algebras. From the point of view of skew lattices, Leech showed early on that any strongly distributive skew lattice can be embedded in the skew lattice of partial functions on some set with the operations being given by restriction and so-called override. Our duality shows that there is a canonical choice for this embedding. Conversely, from the point of view of sheaves over Boolean spaces, our results show that skew lattices correspond to Priestley orders on these spaces and that skew lattice structures are naturally appropriate in any setting involving sheaves over Priestley spaces.Comment: 20 page

Variable sets over an algebra of lifetimes: a contribution of lattice theory to the study of computational topology

A topos theoretic generalisation of the category of sets allows for modelling spaces which vary according to time intervals. Persistent homology, or more generally, persistence is a central tool in topological data analysis, which examines the structure of data through topology. The basic techniques have been extended in several different directions, permuting the encoding of topological features by so called barcodes or equivalently persistence diagrams. The set of points of all such diagrams determines a complete Heyting algebra that can explain aspects of the relations between persistent bars through the algebraic properties of its underlying lattice structure. In this paper, we investigate the topos of sheaves over such algebra, as well as discuss its construction and potential for a generalised simplicial homology over it. In particular we are interested in establishing a topos theoretic unifying theory for the various flavours of persistent homology that have emerged so far, providing a global perspective over the algebraic foundations of applied and computational topology.Comment: 20 pages, 12 figures, AAA88 Conference proceedings at Demonstratio Mathematica. The new version has restructured arguments, clearer intuition is provided, and several typos correcte