Related papers: Extended Stone Duality via Monoidal Adjunctions
In this paper we study the class of modules with fusion and implication based over distributive lattices, or FIDL-modules, for short. We introduce the concepts of FIDL-subalgebra and FIDL-congruence as well as the notions of simple and…
A new derivation method of duality relations in stochastic processes is proposed. The current focus is on the duality between stochastic differential equations and birth-death processes. Although previous derivation methods have been based…
We adapt the notion of an algebraic theory to work in the setting of quasicategories developed recently by Joyal and Lurie. We develop the general theory at some length. We study one extended example in detail: the theory of commutative…
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…
We extend the $C^{\ast}-$algebraic formalism of Topological T-duality to section algebras of locally trivial bundles of strongly self-absorbing $C^{\ast}-$algebras and to a larger class of String Theoretic dualities. We argue that…
This paper can be thought of as an extended introduction to arXiv:0708.3398; nevertheless, most of its results are not covered by loc. cit. We consider the derived categories of DG-modules, DG-comodules, and DG-contramodules, the coderived…
We construct a canonical extension for strong proximity lattices in order to give an algebraic, point-free description of a finitary duality for stably compact spaces. In this setting not only morphisms, but also objects may have distinct…
A double category is constructed from a `fattened' version of a given category, motivated in part by a context of parallel transport. We also study monoidal structures on the underlying category and on the fattened category.
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…
In previous articles, we showed that the category of profinite $L$-algebras (where $L$ is a normal modal logic with the finite model property) is monadic over $\textbf{Set}$. Then, we developed sequent calculi for extensions of the language…
We introduce two algebras associated with a subshift over an arbitrary alphabet. One is unital and the other not necessarily. We focus on the unital case and describe a conjugacy between Ott-Tomforde-Willis subshifts in terms of a…
We study restricted homomorphism dualities in the context of classes with bounded expansion. This presents a generalization of restricted dualities obtained earlier for bounded degree graphs and also for proper minor closed classes. This is…
With a view on applications in computing, in particular concurrency theory and higher-dimensional rewriting, we develop notions of $n$-fold monoid and comonoid objects in $n$-fold monoidal categories and bicategories. We present a series of…
In three recaent papers of G. Dimov, many Stone-type duality theorems for the category of locally compact Hausdorff spaces and continuous maps and some of its subcategories were proved. The dual objects in all these theorems are the local…
We give a new Esakia-style duality for the category of Sugihara monoids based on the Davey-Werner natural duality for lattices with involution, and use this duality to greatly simplify a construction due to Galatos-Raftery of Sugihara…
Suppose that we have a bicomplete closed symmetric monoidal quasi-abelian category $\mathcal{E}$ with enough flat projectives, such as the category of complete bornological spaces $\textbf{CBorn}_k$ or the category of inductive limits of…
We show that any preadditive infinity category with duality gives rise to a direct sum hermitian K-theory spectrum. This assignment is lax symmetric monoidal, thereby producing E-infinity ring spectra from preadditive symmetric monoidal…
We present an analogue of the differential calculus in which the role of polynomials is played by certain ordered sets and trees. Our combinatorial calculus has all nice features of the usual calculus and has an advantage that the elements…
We define a bar construction endofunctor on the category of commutative augmented monoids $A$ of a symmetric monoidal category $\mathcal{V}$ endowed with a left adjoint monoidal functor $F:s\mathbf{Set}\to \mathcal{V}$. To do this, we need…
An order theoretic and algebraic framework for the extended real numbers is established which includes extensions of the usual difference to expressions involving $-\infty$ and/or $+\infty$, so-called residuations. Based on this,…