Mazorchukand Miemietz. Transitive $2$-representations of Finitary $2$-categories. no. 11, American Mathematical Society (AMS), Dec. 2015, doi:10.1090/tran/6583.