Exercise 1.6.13. Show that the functor \(N\colon \Cat ^{(1)}_1 \to \sSet \) is fully faithful, and that its essential image consists precisely of the simplicial sets in which every inner horn has a unique filler.
Generated from the authoritative LaTeX source.