Mazorchuk, Miemietz, 2015. Transitive $2$-representations of finitary $2$-categories 368.. https://doi.org/10.1090/tran/6583