Published on Max Planck Institute for Mathematics (http://www.mpim-bonn.mpg.de)

Home > Talk > Fibrations and Adjunctions for quasicategories

Fibrations and Adjunctions for quasicategories

Posted in
Speaker: 
Daniel Brügmann
Date: 
Fri, 07/06/2013 - 13:30 - 15:00
Location: 
MPIM Seminar Room [2]
Parent event: 
Student seminar on higher categories [3]

 

  • Cartesian and co-Cartesian morphisms. Maybe other fibrations in used for adjunctions.  

  • Definition of Adjunction via correspondences (See sect 5.2.1 and 5.2.2 in HTT)

  • Statement of Prop 5.2.1.3 (HTT) (probably skip the proof)

  • Prop. 5.2.3.5, sketch of proof.

Source URL: http://www.mpim-bonn.mpg.de/node/4717

Links:
[1] http://www.mpim-bonn.mpg.de/taxonomy/term/39
[2] http://www.mpim-bonn.mpg.de/node/4234
[3] http://www.mpim-bonn.mpg.de/node/4676