On the combinatorics of faces of trees and anodyne extensions of dendroidal sets

Abstract

We discuss the combinatorics of faces of trees in the context of dendroidal sets and develop a systematic treatment of dendroidal anodyne extensions. As the main example and our motivation, we prove the pushout-product property for the stable model structure on dendroidal sets.

26 pages

References in corpus (3)

• Dendroidal sets and simplicial operads
• Algebras over infinity-operads
• An infinite loop space machine for infinity-operads