Comma 2-categories (reference request)