Related papers: A fresh perspective on canonical extensions for bo…
Applying a general categorical construction for the extension of dualities, we present a new proof of the Fedorchuk duality between the category of compact Hausdorff spaces with their quasi-open mappings and the category of complete normal…
Filinski constructed a symmetric lambda-calculus consisting of expressions and continuations which are symmetric, and functions which have duality. In his calculus, functions can be encoded to expressions and continuations using primitive…
In this paper, we establish the decomposition of morphisms from lattice of subgroup sets to generalized solvable extension formations. To achieve this, we develop a unified framework involving maximal subgroup functors, generating formation…
The article primarily surveys work that followed from the formulas discovered by Avramov and Iyengar in 2008, which permit one to compute certain Hochschild homology and cohomology modules as expressions involving dualizing complexes. One…
The purpose of this paper is to describe an analogue of a construction of Costello in the context of finite-dimensional differential graded Frobenius algebras which produces closed forms on the decorated moduli space of Riemann surfaces. We…
We generalize our previous lattice construction of the abelian bosonization duality in $2+1$ dimensions to the entire web of dualities as well as the $N_f=2$ self-duality, via the lattice implementation of a set of modular transformations…
Stable derivators provide an enhancement of triangulated categories as is indicated by the existence of canonical triangulations. In this paper we show that exact morphisms of stable derivators induce exact functors of canonical…
Dualities are often supposed to be foundational, but they may come into conflict with background independence, because a hidden fixed structures is needed to define the duality transformation. This conflict can be eliminated by extending a…
Using the isomorphism between highest weight U_q(sl_2)-modules and homologies of certain local systems on the configuration spaces, constructed by Varchenko, we give a geometric construction of the dual of the Lusztig's canonical basis in a…
We study representations of MV-algebras -- equivalently, unital lattice-ordered abelian groups -- through the lens of Stone-Priestley duality, using canonical extensions as an essential tool. Specifically, the theory of canonical extensions…
The cartesian structure possessed by relations, spans, profunctors, and other such morphisms is elegantly expressed by universal properties in double categories. Though cartesian double categories were inspired in part by the older program…
We prove an extension theorem for roots and logarithms of holomorphic line bundles across strictly pseudoconcave boundaries: they extend in all cases except one, when dimension and Morse index of a critical point is two. In that case we…
The theory of bounded, distributive lattices provides the appropriate language for describing directionality and asymptotics in dynamical systems. For bounded, distributive lattices the general notion of `set-difference' taking values in a…
We give a semantics for the lambda-calculus based on a topological duality theorem in nominal sets. A novel interpretation of lambda is given in terms of adjoints, and lambda-terms are interpreted absolutely as sets (no valuation is…
Three philosophical principles are often quoted in connection with Leibniz: "objects sharing the same properties are the same object" (Identity of indiscernibles), "everything can possibly exist, unless it yields contradiction" (Possibility…
Given a logarithmic $1$-form on the snc locus of a log canonical surface pair $(X, D)$ over a perfect field of characteristic $p \ge 7$, we show that it extends with at worst logarithmic poles to any resolution of singularities. We also…
Dual lattice is an important concept of Euclidean lattices. In 2024, Deng gave the definition to the concept of the dual lattice of a $p$-adic lattice from the duality theory of locally compact abelian groups. He also proved some important…
Bilattices (that is, sets with two lattice structures) provide an algebraic tool to model simultaneously the validity of, and knowledge about, sentences in an appropriate language. In particular, certain bilattices have been used to model…
We establish a new extension result for twisted canonical forms defined on a hypersurface with simple normal crossings of a projective manifold. Some of the examples presented in the appendix are showing that the bounds we obtain for the…
We present a contravariant reflection of the compact $T_1$-spaces with arrows given by closed continuous functions into the category of bounded distributive lattices with arrows given by closed subfit morphisms. This reflection extends both…