  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}$.
