Gaunt n-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