Separable K-linear categories
We define and investigate separable K-linear categories. We show that such a category C is locally finite and that every left C-module is projective. We apply our main results to characterize separable linear categories that are spanned by groupoids or delta categories.