Related papers: Stone duality for topological theories
Generalizing Duality Theorem of H. de Vries, we define a category which is dually equivalent to the category of all locally compact Hausdorff spaces and all perfect maps between them.
We firstly introduce some key concepts in category theory, such as quotient category, completion of limits, $\mathrm{Mor}$ category, and so on; then give the concept of topology algebras and sheaves, and discuss how to restore the structue…
We introduce the notion of a categorical cone, which provides a categorification of the classical cone over a projective variety, and use our work on categorical joins to describe its behavior under homological projective duality. In…
Extensions of Stone-type dualities have a long history in algebraic logic and have also been instrumental in proving results in algebraic language theory. We show how to extend abstract categorical dualities via monoidal adjunctions,…
We extend the classical Stone duality between zero dimensional compact Hausdorff spaces and Boolean algebras. Specifically, we simultaneously remove the zero dimensionality restriction and extend to \'etale groupoids, obtaining a duality…
A co-valuation is, essentially, a minimal finite cover. We introduce a logic based on co-valuations, which play the role of valuations of free variables in classical first-order logic, and show that the fundamental tools of model theory --…
A duality theorem of the bounded derived category of quasi-finite comodules over an artinian coalgebra is established. Let $A$ be a noetherian complete basic semiperfect algebra over an algebraically closed field, and $C$ be its dual…
We develop a general theory of 3-dimensional ``orbifold completion'', to describe (generalised) orbifolds of topological quantum field theories as well as all their defects. Given a semistrict 3-category $\mathcal{T}$ with adjoints for all…
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…
We introduce and study bisimulations for coalgebras on Stone spaces [14]. Our notion of bisimulation is sound and complete for behavioural equivalence, and generalizes Vietoris bisimulations [4]. The main result of our paper is that…
A topologized semilattice $X$ is called complete if each non-empty chain $C\subset X$ has $\inf C$ and $\sup C$ that belong to the closure $C$ of the chain $C$ in $X$. In this paper, we introduce various concepts of completeness of…
We describe how generalized complex geometry, which interpolates between complex and symplectic geometry, is compatible with T-duality, a relation between quantum field theories discovered by physicists. T-duality relates topologically…
Topological T-duality is a relationship between pairs (E, P ) over a fixed space X, where E over X is a principal torus bundle and P over E is a twist, such as a gerbe of principal PU(H)-bundle. This is of interest to topologists because of…
We study the topological $\mu$-calculus, based on both Cantor derivative and closure modalities, proving completeness, decidability and FMP over general topological spaces, as well as over $T_0$ and $T_D$ spaces. We also investigate…
In [G. Dimov and E. Ivanova-Dimova, Two extensions of the Stone Duality to the category of zero-dimensional Hausdorff spaces, arXiv:1901.04537v4, 1--33], extending the Stone Duality Theorem, we proved two duality theorems for the category…
Like categories, small 2-categories have well-understood classifying spaces. In this paper, we deal with homotopy types represented by 2-diagrams of 2-categories. Our results extend to homotopy colimits of 2-functors lower categorical…
This paper investigates Smyth completeness of categories enriched over a quantale obtained by equipping the unit interval of real numbers with a continuous t-norm. A real-enriched category is Smyth-complete if each of its forward Cauchy…
Micro-Macro Duality means here the universal mutual relations between the microscopic quantum world and various macroscopic classical levels, which can be formulated mathematically as categorical adjunctions. It underlies a unified scheme…
We introduce the notion of a "graded topological space": a topological space endowed with a sheaf of abelian groups which we think of as a sheaf of gradings. Any object living on a graded topological space will be graded by this sheaf of…
We apply the $C^*$-algebraic formalism of topological T-duality due to Mathai and Rosenberg to a broad class of topological spaces that include the torus bundles appearing in string theory compactifications with duality twists, such as…