Related papers: Isbell Duality
Feigin-Frenkel duality is the isomorphism between the principal $\mathcal{W}$-algebras of a simple Lie algebra $\mathfrak{g}$ and its Langlands dual Lie algebra ${}^L\mathfrak{g}$. A generalization of this duality to a larger family of…
The choice of an isomorphism, a duality, between a finite abelian group $A$ and its character group allows one to define dual codes of additive codes over $A$. Properties of dualities and dual codes are studied, continuing work of Delsarte…
Many mathematical objects can be represented as functors from finitely-presented categories $\mathsf{C}$ to $\mathsf{Set}$. For instance, graphs are functors to $\mathsf{Set}$ from the category with two parallel arrows. Such functors are…
Category theory is a branch of mathematics that provides a formal framework for understanding the relationship between mathematical structures. To this end, a category not only incorporates the data of the desired objects, but also…
Categories of partial functions have become increasingly important principally because of their applications in theoretical computer science. In this note we prove that the category of partial bijections between sets as an…
As an example of the categorical apparatus of pseudo algebras over 2-theories, we show that pseudo algebras over the 2-theory of categories can be viewed as pseudo double categories with folding or as appropriate 2-functors into…
We present a technique for deriving certain new natural dualities for any variety of algebras generated by a finite Heyting chain. The dualities we construct are tailored to admit a transparent translation to the more pictorial…
Macaulay Duality, between quotients of a polynomial ring over a field, annihilated by powers of the variables, and finitely generated submodules of the ring's graded dual, is generalized over any Noetherian ring, and used to provide…
Staton has shown that there is an equivalence between the category of presheaves on (the opposite of) finite sets and partial bijections and the category of nominal restriction sets: see [2, Exercise 9.7]. The aim here is to see that this…
We advocate an account of dualities between physical theories: the basic idea is that dual theories are isomorphic representations of a common core. We defend and illustrate this account, which we call a Schema, in relation to symmetries.…
This is an essay in what might be called ``mathematical metaphysics.'' There is a fundamental duality that run through mathematics and the natural sciences. The duality starts as the logical level; it is represented by the Boolean logic of…
Let $g$ be a reductive Lie algebra over a field of characteristic zero. Suppose $g$ acts on a complex of vector spaces $M$ by $i_\lambda$ and $L_\lambda$, which satisfy the identities as contraction and Lie derivative do for smooth…
The notion of PROP models the operations with multiple inputs and multiple outputs, acting on some algebraic structures like the bialgebras or the Lie bialgebras. We prove a Koszul duality theory for PROPs generalizing the one for…
We study abstract Ces\`aro spaces $CX$, which may be regarded as generalizations of Ces\`aro sequence spaces $ces_p$ and Ces\`aro function spaces $Ces_p(I)$ on $I = [0,1]$ or $I = [0,\infty)$, and also as the description of optimal domain…
We give another proof of the fact that there is a dual equivalence between the $\infty$-category of monoidal $\infty$-categories with left adjoint oplax monoidal functors and that with right adjoint lax monoidal functors by constructing a…
In the setting of C*-categories, we provide a definition of "spectrum" of a commutative full C*-category as a one-dimensional unital saturated Fell bundle over a suitable groupoid (equivalence relation) and prove a categorical Gelfand…
In this paper we take some classical ideas from commutative algebra, mostly ideas involving duality, and apply them in algebraic topology. To accomplish this we interpret properties of ordinary commutative rings in such a way that they can…
We study dualities between classes of relational topological structures, given by Hom-functors. We show that there exists a 2-element structure with infinitely many relations, which reconstructs all other structures generated by a 2-element…
Consider an exact couple in a semiabelian category in the sense of Palamodov, i.e., in an additive category in which every morphism has a kernel as well as a cokernel and the induced morphism between coimage and image is always monic and…
This article seeks to encourage a mathematical dialog regarding a possible solution to Beals Conjecture. It breaks down one of the worlds most difficult math problems into laymans terms and encourages people to question some of the most…