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 [126.96.36.199-188.8.131.52, 184.108.40.206-220.127.116.11] as well as the proof of [18.104.22.168] in [2.4.5], and the descriptionof fibrant objects in the Joyal model structure [Th. 22.214.171.124].
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