We give a gentle introduction to the concept of folding. That is, we provide an elementary discussion of equivariant categories, their weighted Grothendieck groups, and the technical aspects of computing with them. We then perform the computations required to confirm that quasi-split Hecke algebras with unequal parameters are categorified by equivariant Soergel bimodules, in almost every case.Remark 1.4. There is an action of /2 on the Weyl group of type F 4 , with invariant subgroup I 2 (8). We have not even attempted to perform the computations here. This missing case should follow by analogous computations. Regardless, the result has already been proven by Lusztig.Again, we do rely heavily on the truth of the Soergel conjecture for our categorification result. However, we do not use any of the Hodge-theoretic machinery required to prove the Soergel conjecture in [6]. Moreover, our computations do not rely on the Soergel conjecture, and apply in more generality.