We will continue on Thursday, October 24, in M5 at 1pm by the talk

R. Stenzel

From Univalence to descent via "split indexed quasi-categories", part 2

Abstract:
In the last talk I sketched the definitions of univalent fibrations, complete Segal spaces and Grothendieck infinity-toposes.
On Thursday we will continue where we left off and relate these notions to one another, and, in that light, revisit the weak equivalence extension property and the fibration extension property of model categories.