1: \begin{abstract}

2: We investigate the relation between the Garside normal form for positive braids and

3: the $2$-braid group defined by Rouquier. Inspired by work of Brav and Thomas we show that the Garside

4: normal form is encoded in the action of the $2$-braid group on a certain categorified 

5: left cell module. This allows us to deduce the faithfulness of the $2$-braid group 

6: in finite type. We also give a new proof of Paris' theorem that the canonical map 

7: from the generalized braid monoid to its braid group is injective in arbitrary 

8: type.

9: \end{abstract}

10: