1: \begin{abstract}

2:     We prove that the skein categories of Walker--Johnson-Freyd satisfy excision. 

3:     This allows us to conclude that skein categories are $k$-linear factorisation homology and taking the free cocompletion of skein categories recovers locally finitely presentable factorisation homology.

4:     An application of this is that the skein algebra of a punctured surface related to any quantum group with generic parameter gives a quantisation of the associated character variety. 

5: \end{abstract}

6: