Related papers: Stone Duality for Relations
In this work, we explore a double categorical framework for categories of enriched graphs, categories and the newly introduced notion of cocategories. A fundamental goal is to establish an enrichment of V-categories in V-cocategories, which…
The dual of a map is a fundamental construction on combinatorial maps, but many other combinatorial objects also possess their notion of duality. For instance, the Tamari lattice is isomorphic to its order dual, which induces an involution…
We extend the theory of Sweeder's measuring comonoids to the framework of duoidal categories: categories equipped with two compatible monoidal structures. We use one of the tensor products to endow the category of monoids for the other with…
Everyone knows that if you have a bivariant homology theory satisfying a base change formula, you get an representation of a category of correspondences. For theories in which the covariant and contravariant transfer maps are in mutual…
In this article we will focus our attention on the variety of distributive bisemilattices and some linguistic expansions thereof: bounded, De Morgan, and involutive bisemilattices. After extending Balbes' representation theorem to bounded,…
We extend the duality between acyclic orientations and totally cyclic orientations on planar graphs to dualities on graphs on orientable surfaces by introducing boundary acyclic orientations and totally bi-walkable orientations. In…
This second part comes to the construction of the spectrum associated to a situation of multi-adjunction. Exploiting a geometric understanding of its multi-versal property, the spectrum of an object is obtained as the spaces of local units…
In general terms, Gelfand duality refers to a correspondence between a geometric, topological, or analytical category, and an algebraic category. For example, in smooth differential geometry, Gelfand duality refers to the topological…
We explore two different problems in string theory in which duality relates an ordinary p-form in one theory to a self-dual (p+1)-form in another theory. One problem involves comparing D4-branes to M5-branes, and the other involves…
We define a notion of Koszul dual of a monoid object in a monoidal biclosed model category. Our construction generalizes the classic Yoneda algebra $Ext_A(k,k)$. We apply this general construction to define the Koszul dual of a category…
Analogical reasoning depends fundamentally on the ability to learn and generalize about relations between objects. We develop an approach to relational learning which, given a set of pairs of objects…
In the present paper, we study the correspondence and canonicity theory of modal subordination algebras and their dual Stone space with two relations, generalizing correspondence results for subordination algebras in…
Enrichment and internal categories are two different way to generalize the notion of category. As such, enriching double categories (which are categories internal to Cat) is not a clear concepts. One can look at the internal categories of…
Duality relations are obtained for correlation functions of the q-state Potts model on any planar lattice or graph using a simple graphical analysis. For the two-point correlation we show that the correlation length is precisely the surface…
Double field theory and exceptional field theory are formulations of supergravity that make certain dualities manifest symmetries of the action. To achieve this, the geometry is extended by including dual coordinates corresponding to…
We provide a relative version of the trace map from the work of Beyer, which can be associated to any finite tale morphism $X \to Y$ of smooth rigid Stein spaces and which then relates the Serre duality on $X$ with the Serre duality on $Y$.…
In this document, we study the Stone's duality theorem in the form proposed by Acosta, Balbes, Dwinger and Stone for distributive lattices. Generalice them to the context of general lattices and study some characterization of the…
This presentation is intended to give a flavour of the physics to be studied and discovered by exploiting the interface between string theory, M-theory and field theory provided by the dynamics of extended objects called `branes', and their…
We extend the basic concepts of Street's formal theory of monads from the setting of 2-categories to that of double categories. In particular, we introduce the double category Mnd(C) of monads in a double category C and define what it means…
Stone's representation theorem asserts a duality between Boolean algebras on the one hand and Stone space, which are compact, Hausdorff, and totally disconnected, on the other. This duality implies a natural isomorphism between the…