add some stuff about cocontinuous functors