Related papers: Contact join-semilattices
Applying a general categorical construction for the extension of dualities, we present a new proof of the Fedorchuk duality between the category of compact Hausdorff spaces with their quasi-open mappings and the category of complete normal…
We employ the notions of `sequential function' and `interrogation' (dialogue) in order to define new partial combinatory algebra structures on sets of functions. These structures are analyzed using J. Longley's preorder-enriched category of…
We show that on any closed contact manifold of dimension greater than 1 a contact structure with vanishing contact homology can be constructed. The basic idea for the construction comes from Giroux. We use a special open book decomposition…
Given a small category C, we show that there is a universal way of expanding C into a model category, essentially by formally adjoining homotopy colimits. The technique of localization becomes a method for imposing `relations' into these…
We characterize those semilattices that give rise to Boolean spaces on their associated spaces of ultrafilters. The class of 0-disjunctive semilattices, important in the theory of congruence-free inverse semigroups, plays a distinguished…
We show that a contact $(+1)$-surgery along a Legendrian sphere in a flexibly fillable contact manifold ($c_1=0$ if not subcritical) yields a contact manifold that is algebraically overtwisted if the Legendrian's homology class is not…
We investigate categorical and amalgamation properties of the functor Idc assigning to every partially ordered abelian group G its semilattice of compact ideals Idc G. Our main result is the following. Theorem 1. Every diagram of finite…
Motivated by Gentzen disjunction elimination rule in his Natural Deduction calculus and reading inequalities with meet in a natural way, we conceive a notion of distributivity for join-semilattices. We prove that it is equivalent to a…
Linear algebra's main concerns are sets of vectors, linear functions, subspaces, linear systems, matrices and concepts about those, such as whether the solution of linear system exists or is unique; a set of vectors is linearly independent…
We classify contact manifolds $(M,\mathcal D)$ which are homogeneous under a connected semisimple Lie group $G$, and symmetric in the sense that there exists a contactomorphism of $(M,\mathcal D)$ normalizing $G$, fixing a point $o$ in $M$…
We study the relationship between the enumerative geometry of rational curves in local geometries and various versions of maximal contact logarithmic curve counts. Our approach is via quasimap theory, and we show versions of the…
To every minimal model of a complete local isolated cDV singularity Donovan--Wemyss associate a finite dimensional symmetric algebra known as the contraction algebra. We construct the first known standard derived equivalences between these…
In this Master of Science Thesis I introduce geometric algebra both from the traditional geometric setting of vector spaces, and also from a more combinatorial view which simplifies common relations and operations. This view enables us to…
We study a generalized ergodic problem (E), which is a Hamilton-Jacobi equation of contact type, in the flat $n$-dimensional torus. We first obtain existence of solutions to this problem under quite general assumptions. Various examples are…
We study the relationships among existing results about representations of distributive semilattices by ideals in dimension groups, von Neumann regular rings, C*-algebras, and complemented modular lattices. We prove additional…
We reduce the set of classic relational algebra operators to two binary operations: natural join and generalized union. We further demonstrate that this set of operators is relationally complete and honors lattice axioms.
A contact manifold is a manifold equipped with a distribution of codimension one that satisfies a `maximal non-integrability' condition. A standard example of a contact structure is a strictly pseudoconvex CR manifold, and operators of…
We provide a one-to-one correspondence between line operators and states in four-dimensional CFTs with continuous 1-form symmetries. In analogy with 0-form symmetries in two dimensions, such CFTs have a free photon realisation and enjoy an…
We continue our study of the general theory of possibly nonselfadjoint algebras of operators on a Hilbert space, and modules over such algebras, developing a little more technology to connect `nonselfadjoint operator algebra' with the…
A partial algebra construction of Gr\"atzer and Schmidt from "Characterizations of congruence lattices of abstract algebras" (Acta Sci. Math. (Szeged) 24 (1963), 34-59) is adapted to provide an alternative proof to a well-known fact that…