Exercises for Lecture 4
Exercise 1: Finish proving that t
Exercise 2: Show that every inner anodyne morphism induces a bijection on vertices. (Hint: Show that the class of maps of simplicial sets which are a bijection on vertices is weakly saturated.)