Posted in
Speaker:
Victor Bothe
Date:
Fri, 28/06/2013 - 13:30 - 15:00
Location:
MPIM Lecture Hall
Parent event:
Student seminar on higher categories
Definition of gaunt n-categories: BSP Def 3.1 and Lma 3.2, then skip to sect. 4
Relationship to discrete complete Theta_n-spaces: Prop 11.23 and 11.24 in Rezk’s “A Cartesian presentation …”. (note: Rezk calls gaunt n-categories “rigid”).
Most of the material of section 4 of BSP should be discussed. The main goal of this talk is the last lemma, which says that the automorphisms of the category of gaunt n-cats is (Z/2)^n.
See Chris SP for a shorter, better (and more correct) proof of Lemma 4.4
© MPI f. Mathematik, Bonn | Impressum & Datenschutz |