Related papers: An analogue of Stone duality via support
Priestley duality has diverse applications in various branches of mathematics. In this survey, we discuss its usefulness in pointfree topology. This is done by providing Priestley perspective on several key notions, including spatiality,…
There are many examples of dualities between topological spaces and algebras in the literature. Particularly, many of those examples come from the algebraic counterpart of a logical system, e.g, boolean and heyting algebras, MV-algebras,…
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 focus of this article is on metric completions of triangulated categories arising in the representation theory of hereditary finite dimensional algebras and commutative rings. We explicitly describe all completions of bounded derived…
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…
In this paper we show how the theory of monads can be used to deduce in a uniform manner several duality theorems involving categories of relations on one side and categories of algebras with homomorphisms preserving only some operations on…
We define a class of lattice models for two-dimensional topological phases with boundary such that both the bulk and the boundary excitations are gapped. The bulk part is constructed using a unitary tensor category $\calC$ as in the…
We fix the notion of parity complex by a judicious selection from among the axioms originally considered by Street. We show that parity complexes so defined, together with the morphisms of parity complexes defined by Verity, form a category…
There have recently been several developments in synthetic mathematics using extensions of dependent type theory with univalence and higher inductive types: simplicial homotopy type theory, synthetic algebraic geometry and synthetic Stone…
We introduce the notions of multiplier C*-category and continuous bundle of C*-categories, as the categorical analogues of the corresponding C*-algebraic notions. Every symmetric tensor C*-category with conjugates is a continuous bundle of…
We extend the support theory of Benson--Iyengar--Krause to the non-Noetherian setting by introducing a new notion of small support for modules. This enables us to prove that the stable module category of a finite group is canonically…
The mathematical framework of Stone duality is used to synthesize a number of hitherto separate developments in Theoretical Computer Science: - Domain Theory, the mathematical theory of computation introduced by Scott as a foundation for…
A duality between general partially ordered sets and certain topolgical spaces with two closures is established.
This paper explores the interplay between category theory, topology, and the algebraic theory of finite groups. Our analysis unfolds in three stages. First, we establish the foundational universe of our objects: the complete and cocomplete…
We develop the notion of singular support of a coherent sheaf on a quasi-smooth DG scheme or stack and use it to formulate the Geometric Langlands Conjecture.
In this paper the analogy between differential forms arising from integrals in additive calculus and forms arising from the integrals in product calculus is investigated. It is found that with an appropriate definition of scalar…
We study the link between a compact hypersurface in $\P^{n+1}$ and the set of all its tangent planes. In this context, we identify $\P^{n+1}$ to the set of linear subspaces of codimension one by orthogonal complementarity. This gives rise…
In this paper we systematically describe relations between various structure sets which arise naturally for pairs of compact topological manifolds with boundary. Our consideration is based on a deep analogy between the case of a compact…
We advance support variety theory for finite tensor categories. First we show that the dimension of the support variety of an object equals the rate of growth of a minimal projective resolution as measured by the Frobenius-Perron dimension.…
A generalization of duality transformations for arbitrary Lorentz tensors is presented, and a systematic scheme for constructing the dual descriptions is developed. The method, a purely Lagrangian approach, is based on a first order parent…