All Questions

Let $tr_2: \mathrm{sSet} \to \mathrm{sSet}_{\le 2} $ be the 2-truncation functor. Let $C$ be a 2-truncated simplicial set such that every horn $tr_2( \Lambda^2_1) \to C$ extends to $tr_2(\Delta_2) \...