Related papers: Heyting frames and Esakia duality

For each finite semisimple tensor category, we associate a quantum group (face algebra) whose comodule category is equivalent to the original one, in a simple natural manner. To do this, we also give a generalization of the Tannaka-Krein…

In this paper we define a notion of Witt group for sesquilinear forms in hermitian categories, which in turn provides a notion of Witt group for sesquilinear forms over rings with involution. We also study the extension of scalars for…

This paper investigates the homology of the Brauer algebras, interpreted as appropriate Tor-groups, and shows that it is closely related to the homology of the symmetric group. Our main results show that when the defining parameter of the…

By de Vries duality, the category of compact Hausdorff spaces is dually equivalent to the category of de Vries algebras. In our recent article, we have extended de Vries duality to completely regular spaces by generalizing de Vries algebras…

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…

It is a well-known fact that although the poset of open sets of a topological space is a Heyting algebra, its Heyting implication is not necessarily stable under the inverse image of continuous functions and hence is not a geometric…

Consider the wrapped Fukaya category W of a collection of exact Lagrangians in a Liouville manifold. Under a non-degeneracy condition implying the existence of enough Lagrangians, we show that natural geometric maps from the Hochschild…

In this paper we develop an almost general process to switch from abstract logics in the sense of Brown and Suszko to lattices. With this method we can establish dualities between some categories of abstract logics to the correspondent…

A Rough semiring $(T,\Delta,\nabla)$ is considered to describe a special distributive Rough semiring known as a Rough bi-Heyting algebra. A bi-Heyting algebra is an extension of boolean algebra and it is accomplished by weaker notion of…

We propose a categorification of the cyclotomic Hecke algebra in terms of the equivariant K-theory of the framed matrix factorizations. The construction generalizes the earlier construction of the authors for a categorification of the…

We study the homomorphism spaces between Specht modules for the Hecke algebras $\h$ of type $A$. We prove a cellular analogue of the kernel intersection theorem and a $q$-analogue of a theorem of Fayers and Martin and apply these results to…

We define the affine Frobenius Brauer categories associated to each symmetric involutive Frobenius superalgebra $A$. We then define an action of these categories on the categories of finite-dimensional supermodules for orthosymplectic Lie…

We prove a Cartier duality for gerbes of algebraic and analytic vector bundles as an anti-equivalence of Hopf algebras in the category of kernels of analytic stacks. As an application, we prove that the category of solid quasi-coherent…

This paper provides a homological algebraic foundation for generalizations of classical Hecke algebras introduced in math.QA/9805134. These new Hecke algebras are associated to triples of the form (A,B,e), where A is an associative algebra…

Stone duality generalizes to an equivalence between the categories $\mathsf{Stone}^{\mathsf{R}}$ of Stone spaces and closed relations and $\mathsf{BA}^\mathsf{S}$ of boolean algebras and subordination relations. Splitting equivalences in…

We prove coherence theorems for dualizable objects in monoidal bicategories and for fully dualizable objects in symmetric monoidal bicategories, describing coherent dual pairs and coherent fully dual pairs. These are property-like…

The theory of finitary biframes as order-theoretical duals of bitopological spaces is explored. The category of finitary biframes is a coreflective subcategory of that of biframes. Some of the advantages of adopting finitary biframes as a…

This paper introduces monoidal (super)categories resembling the Brauer category. For all categories, we can construct bases of the hom-spaces using Brauer diagrams. These categories include the Brauer category, its deformation the…

We prove a homological mirror symmetry equivalence between an $A$-brane category for the pair of pants, computed as a wrapped microlocal sheaf category, and a $B$-brane category for a mirror LG model, understood as a category of matrix…

Enomoto and Sakai classified IE-closed subcategories over hereditary algebras via twin rigid modules. However, this classification inherently relies on the vanishing of second extension spaces, thus failing for arbitrary finite-dimensional…