Univalence in Higher Category Theory