Posted in
Speaker:
Daniel Brügmann
Datum:
Fre, 07/06/2013 - 13:30 - 15:00
Location:
MPIM Seminar Room
Parent event:
Student seminar on higher categories
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.
| © MPI f. Mathematik, Bonn | Impressum & Datenschutz |
English
Deutsch