Related papers: A non-commutative Priestley duality
This paper explores the interface between algebra, topology, and logic by developing the theory of sheaves and etale spaces for residuated lattices, algebraic structures central to substructural and fuzzy logics. We construct…
In this note we generalize the construction, due to Ghilardi, of the free Heyting algebra generated by a finite distributive lattice, to the case of arbitrary distributive lattices. Categorically, this provides an explicit construction of a…
The first-order differential L\'evy-Leblond equations (LLE's) are the non-relativistic analogs of the Dirac equation, being square roots of ($1+d$)-dimensional Schr\"odinger or heat equations. Just like the Dirac equation, the LLE's possess…
It is well-known that in the logic of quantum mechanics disjunctions and conjunctions can be represented by joins and meets, respectively, in an orthomodular lattice provided their entries commute. This was the reason why J. Pykacz…
Skew-gentle algebras are skew-group algebras of gentle algebras equipped with a certain $\Z_2$-action. Building on the bijective correspondence between gentle algebras and dissected surfaces, we obtain in this paper a bijection between…
We prove that there exist Hopf algebras with surjective, non-bijective antipode which admit no non-trivial morphisms from Hopf algebras with bijective antipode; in particular, they are not quotients of such. This answers a question left…
This paper develops aspects of cosheaf theory on rigid analytic spaces, and demonstrates a sheaf-cosheaf Verdier duality equivalence theorem for overconvergent sheaves on separated, paracompact spaces, analogous to Jacob Lurie's treatment…
The existing topological representation of an orthocomplemented lattice via the clopen orthoregular subsets of a Stone space depends upon Alexander's Subbase Theorem, which asserts that a topological space $X$ is compact if every subbasic…
We propose a sheaf-theoretic approach to the theory of differential calculi on quantum principal bundles over non-affine bases. After recalling the affine case we define differential calculi on sheaves of comodule algebras as sheaves of…
For a rank two root system and a pair of nonnegative integers, using only elementary combinatorics we construct two posets. The constructions are uniform across the root systems A1+A1, A2, C2, and G2. Examples appear in Figures 3.2 and 3.3.…
We prove a number of dualities between posets and (pseudo)bases of open sets in locally compact Hausdorff spaces. In particular, we show that (1) Relatively compact basic sublattices are finitely axiomatizable. (2) Relatively compact basic…
This is the second in a series of papers intended to set up a framework to study categories of modules in the context of non-commutative geometries. In \cite{mem} we introduced the basic DG category $\Pc_{\A^\bullet}$, the perfect category…
Quantum LDPC codes have attracted intense interest due to their advantageous properties for realizing efficient fault-tolerant quantum computing. In particular, sheaf codes represent a novel framework that encompasses all well-known good…
We develop dualities for complete perfect distributive quasi relation algebras and complete perfect distributive involutive FL-algebras. The duals are partially ordered frames with additional structure. These frames are analogous to the…
We present a uniform theory of constructible sheaves on arbitrary schemes with coefficients in topological or even condensed rings. This is accomplished by defining lisse sheaves to be the dualizable objects in the derived infinity-category…
Let $X$ be a finite connected simplicial complex, and let $\delta$ be a perversity (i.e., some function from integers to integers). One can consider two categories: (1) the category of perverse sheaves cohomologically constructible with…
We extend Orlov's representability theorem on the equivalence of derived categories of sheaves to the case of smooth stacks associated to normal projective varieties with only quotient singularities.
A Leech pair is defined as a pair $(G,S)$, where $S$ is a positive definite even lattice without roots, equipped with a faithful action of a finite group $G$, such that the invariant sublattice of $S$ under the action of $G$ is trivial, and…
It is known that a single mapping defined on one term of a differential graded vector space extends to a strongly homotopy Lie algebra structure on the graded space when that mapping satisfies two conditions. This strongly homotopy Lie…
We develop a common semantic framework for the interpretation both of $\mathbf{IPC}$, the intuitionistic propositional calculus, and of logics weaker than $\mathbf{IPC}$ (substructural and subintuitionistic logics). This is done by proving…