header: added colim as operatorname
rouquier: rest of section 4