  We prove full functoriality of Khovanov homology for tangled framed gl2 webs.
We use this functoriality result to prove a strong positivity result for
(orientable) surface skein algebras. The argument goes categorical and consists
in proving that so-called linear complexes are stable under superposition.
