The goal of this talk is to explain main definitions and results of [2.4] which studies Cartesian fibrations. A Cartesianfibration between simplicial sets is a generalization of right fibrations (the dual notion is called coCartesian fibration)which can be viewed as a moduli of∞-categories over a simplicial set. Important results that should be covered, apartfrom definitions, include [188.8.131.52-184.108.40.206, 220.127.116.11-18.104.22.168] as well as the proof of [22.214.171.124] in [2.4.5], and the descriptionof fibrant objects in the Joyal model structure [Th. 126.96.36.199].
Dienstag, den 14. Mai 2019 um 11:15 Uhr, in INF 205, SR 3 Dienstag, den 14. Mai 2019 at 11:15, in INF 205, SR 3