Další seminář z algebry se koná 24.10.2019 od 13.00 v posluchárně M5.

R. Stenzel

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

Abstrakt:
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.