Collapse and convergence in class theory