On inner Kan complexes in the category of dendroidal sets (Q1016475)

The category of dendroidal sets \(dSet\) is an extension of the one of simplicial sets \(sSet\), suitable for defining nerves of operads rather than just of categories. In the paper under review, the authors extend fundamental results for simplicial sets of Boardman and Vogt, of Cordier and Porter, and of Joyal to dendroidal sets. A simplicial set satisfying the restricted Kan condition is called an inner Kan complex. The authors define inner Kan complexes for dendroidal sets, in such a way that a simplicial set \(X\) is an inner Kan complex if and only if \(i_!(X)\) is a dendroidal inner Kan complex, where \(i_!: sSet \to dSet\) is the embedding. The dendroidal nerve of any operad and the homotopy coherent nerve of a topological operad are examples of dendroidal inner Kan complexes. The authors prove several fundamental properties of dendroidal inner Kan complexes. The main result of the paper is that the closed monoidal structure of dendroidal sets has the property that for any two dendroidal sets \(X\) and \(Y\), the internal Hom \(\underline{Hom}(X,Y)\) is an inner Kan complex whenever \(X\) is normal and \(Y\) is inner Kan. The authors also show that the homotopy colimit of a diagram of inner Kan complexes is an inner Kan complex.