Ordinal subdivision and special pasting in quasicategories (Q2463521)

A simplicial set \(X\) is said to satisfy the Kan condition if every horn \(\Lambda^i[n]\rightarrow X\) for \(0\leq i\leq n\) has a filler. \textit{J. M. Boardman} and \textit{R. M. Vogt} [``Homotopy invariant algebraic structures on topological spaces'', Lect. Notes Math. 347 (1973; Zbl 0285.55012)] study this filler condition for \(0<i<n\) under the name of restricted Kan condition. Joyal calls a simplicial set satisfying the restricted Kan condition a quasicategory. The simplicial nerve \(\text{Ner}({\mathcal C})\) of a small category \({\mathcal C}\) is an example of quasicategory. Using a combinatorially defined ordinal subdivision \(\text{Sd}(-)\), are examined composition rules for certain special pasting diagrams in quasicategories. This subdivision occurs for example in the study of bisimplicial sets, of classifying spaces, in approximations to the diagonal, in algebraic models of \(3\)-types, in algebraic K-theory, cyclic homology and the theory of cyclic sets, and in homotopy coherence. It is proved that for each \(n\), the morphism \(\text{Sd}(\Delta[n]) \rightarrow \text{Ner}(\text{Sd}[n])\) is a weak anodyne extension, which is by definition a finite composite of pushouts of maps of the form \(\Lambda^i[n]\rightarrow \Delta[n]\) with \(0<i<n\). Since a weak anodyne extension is a trivial cofibration with respect to Joyal's model structure on quasicategories, that means that every map \(\text{Sd}(\Delta[n]) \rightarrow X\) where \(X\) is a quasicategory can be extended to a map \(\text{Ner}(\text{Sd}[n]) \rightarrow X\). In fact, it is proved better: every cosimplicial simplicial map \(\text{Sd}\circ\Delta[-] \rightarrow X\) where \(X\) is a cosimplicial simplicial set and an objectwise quasicategory can be extended to a cosimplicial simplicial map \(\text{Ner}\circ\text{Sd}[-]\rightarrow X\). The proof is constructive and of combinatorial nature.