Abstract:Let $\mathcal{U}$ be a braided tensor category, typically unknown, complicated and in particular non-semisimple. We characterize $\mathcal{U}$ under the assumption that there exists a commutative algebra $A$ in $\mathcal{U}$ with certain properties: Let $\mathcal{C}$ be the category of local $A$-modules in $\mathcal{U}$ and $\mathcal{B}$ the category of $A$-modules in $\mathcal{U}$, which are in our set-up usually much simpler categories than $\mathcal{U}$. Then we can characterize $\mathcal{U}$ as a relative Drinfeld center $\mathcal{Z}_\mathcal{C}(\mathcal{B})$ and $\mathcal{B}$ as representations of a certain Hopf algebra inside $\mathcal{C}$. In particular this allows us to reduce braided tensor equivalences to the knowledge of abelian equivalences, e.g. if we already know that $\mathcal{U}$ is abelian equivalent to the category of modules of some quantum group $U_q$ or some generalization thereof, and if $\mathcal{C}$ is braided equivalent to a category of graded vector spaces, and if $A$ has a certain form, then we already obtain a braided tensor equivalence between $\mathcal{U}$ and $\mathrm{Rep}(U_q)$. A main application of our theory is to prove logarithmic Kazhdan-Lusztig correspondences, that is, equivalences of braided tensor categories of representations of vertex algebras and of quantum groups. Here, the algebra $A$ and the corresponding category $\mathcal{C}$ are a-priori given by a free-field realization of the vertex algebra and by a Nichols algebra. We illustrate this in those examples where the representation theory of the vertex algebra is well enough understood. In particular we prove the conjectured correspondences between the singlet vertex algebra $\mathcal{M}(p)$ and the unrolled small quantum groups of $\mathfrak{sl}_2$ at $2p$-th root of unity. Another new example is the Kazhdan-Lusztig correspondence for $\mathfrak{gl}_{1|1}$.

Correspondence between Composite Theories and Distributive Laws

Reasoning about distributive laws in a concurrent refinement algebra

Graded Algebraic Theories

The equational theory of the Weihrauch lattice with multiplication

Composing Codensity Bisimulations

Unraveling Functional Equations in Composition Algebra: Resolving Conjectures and Examining Implications

Logics and Admissible Rules of Constructive Set Theories

An algebraic theory for logarithmic Kazhdan-Lusztig correspondences

The equational theory of the Weihrauch lattice with (iterated) composition

From Rewrite Rules to Axioms in the $λ$$Π$-Calculus Modulo Theory

Confluence of algebraic rewriting systems

A Compositional Atlas for Algebraic Circuits

Interpolation and the Exchange Rule

What is a Theory ?

A categorical account of composition methods in logic (extended version)

On the universal theory of the free pseudocomplemented distributive lattice

Some simple theories from a Boolean algebra point of view

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space

Equational Theories and Validity for Logically Constrained Term Rewriting (Full Version)

Enriched structure-semantics adjunctions and monad-theory equivalences for subcategories of arities

Axiomatization of Boolean algebras via weak dicomplementations