ThisIf you have a copy of Gaitsgory's Notes on factorizable sheaves there is not a complete answersketchy exposition of the relative double in section 3.2, and a description of the construction of the quantum group in section 5 (in the numbering of the March 2008 edition). Here is what I understand, with many possible misconceptions. There is a sequence of Hopf algebra homomorphisms:
You can find some information on${}^{free}U_q^\pm \twoheadrightarrow {}^{DK}U_q^\pm \twoheadrightarrow u_q^\pm \hookrightarrow {}^LU_q^\pm \hookrightarrow {}^{cofree}U_q^\pm$
${}^{free}U_q^+$ is the "relative versionfree associative algebra generated by the simple root operators $E_i$, which have the appropriate grading. It has the coproduct you described. Taking a quotient by Serre relations yields the first arrow. The operation of Drinfeld'staking dual Hopf algebra with opposite comultiplication flips the direction of the diagram and changes the sign. Taking the double construction" in Lurie's DAG VI: E[k]-algebrasyields hybrid algebras, e. The explicit construction isn't given for your exampleg., but there ishalf Lusztig and half DeConcini-Kac. I don't understand why both $Vect^\Lambda_q$ and $Vect^\Lambda_{q^{-1}}$ play a general descriptionrole here.
The relative version of Drinfeld's double construction can be written on the universal property characterizingcategory level as the E[2]-centralizer of athe monoidal categoryfunctor $Vect^\Lambda \to Rep ({}^{\ast}U_q^\pm)$, where $\ast$ indicates one of the choices above. I guess you can combine definition 2.5.1 with respectexample 2.5.15 in Lurie's DAG VI: E[k]-algebras to get a monoidal functor. Search for "commutant"description of this construction.
(You may have received some kind Generically this seems to yield the category of secret document distributed by email before Talbot 2008 describingrepresentations of Lusztig's U-dot algebra instead of the original $U_q(n)$ construction$U_q$.)