Related papers: A fresh perspective on canonical extensions for bo…
We extend Wallman's classic duality from lattice bases to semilattice subbases and from compact to locally closed compact spaces. Moreover, we make this duality functorial via appropriate relational morphisms.
We utilize the Bruns-Lakser completion to introduce Bruns-Lakser towers of a meet-semilattice. This machinery enables us to develop various hierarchies inside the class of bounded distributive lattices, which measure $\kappa$-degrees of…
We describe digraphs with topology which give dual representations of ortholattices. This is done via so-called dual Plo\v{s}\v{c}ica spaces of lattices. First, we improve the definition of Plo\v{s}\v{c}ica spaces from an earlier paper to…
We examine the lattice generated by two pairs of supplementary vector subspaces of a finite-dimensional vector space by intersection and sum, with the aim of applying the results to the study of representations admitting two pairs of…
We recall the main facts about the odd Laplacian acting on half-densities on an odd symplectic manifold and discuss a homological interpretation for it suggested recently by P. {\v{S}}evera. We study the relationship of odd symplectic…
We give two examples of categorical axioms asserting that a canonically defined natural transformation is invertible where the invertibility of any natural transformation implies that the canonical one is invertible. The first example is…
Built upon the proposal of Kaplan et.al. [hep-lat/0206109], we construct noncommutative lattice gauge theory with manifest supersymmetry. We show that such theory is naturally implementable via orbifold conditions generalizing those used by…
Canonical functions are a powerful concept with numerous applications in the study of groups, monoids, and clones on countable structures with Ramsey-type properties. In this short note, we present a proof of the existence of canonical…
In this article, we continue the study of monadic distributive lattices (or m-lattices) which are a natural generalization of monadic Heyting algebras, introduced by Monteiro and Varsavsky and developed exhaustively by Bezhanishvili. First,…
In this paper, we show that if $X$ is a smooth variety of general type of dimension $m \geq 2$, for which its canonical map induces a double cover onto $Y$, where $Y$ is a projective bundle over $\mathbf P^1$, or onto a projective space or…
Suppose we are given complex manifolds $X$ and $Y$ together with substacks $\mathcal{S}$ and $\mathcal{S}'$ of modules over algebras of formal deformation $\mathcal{A}$ on $X$ and $\mathcal{A}'$ on $Y$, respectively. Suppose also we are…
We present an efficient and user-friendly method for constructing any cofibrantly generated model structure on the category of double categories whose trivial fibrations are the "canonical" ones: the double functors which are surjective on…
In this paper, we analyze the variation of the gravitational action on a bounded region of spacetime whose boundary contains segments with various characters, including null. We develop a systematic approach to decompose the derivative of…
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…
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 introduce a general framework for generating dualities between categories of partial orders and categories of ordered Stone spaces; we recover in particular the classical Priestley duality for distributive lattices and establish several…
Let $B^n$ be the $n$-dimensional unit complex ball and let $a$ and $b$ be two distinct points in its closure. Let $f$ be a real-analytic function on the complex unit sphere $\partial B^n.$ Suppose that for any complex line $L,$ meeting the…
In the study of algebras related to non-classical logics, (distributive) semilattices are always present in the background. For example, the algebraic semantic of the $\{\rightarrow,\wedge,\top\}$-fragment of intuitionistic logic is the…
In this paper, we show an extension type theorem for twisted pluricanonical sections on a family of smooth projective manifolds (the twisting line bundle being pseudo-effective and having a prescribed multiplier ideal on the central fiber).
In this paper we study the extension of holomorphic canonical forms on complete d-bounded Kahler manifolds by using L2 analytic methods and L2 Hogde theory, which generalizes some classical results to noncompact cases.