Algebra seminar - October 24, 1pm, lecture room M5 PDF Print

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

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.

Last Updated on Tuesday, 22 October 2019 08:54