2017/03/31 by Dimitri Ara, DIMITRI ARA, Denis-Charles Cisinski +3
Computer Science · Mathematics · #2-category #Algebraic structures and combinatorial models #Biproduct #Category of groups #Category of sets #Closed category #Concrete category #Enriched category #Homotopy and Cohomology in Algebraic Topology #Logic, programming, and type systems #Model category #Test (biology) #math.AT #math.CT
paper · pdf · doi:10.1017/s030500411800021x
published as Math. Proc. Camb. Phil. Soc. 167 (2019) 107-121 · 15 pages, v2: minor modifications, final version
openalex created_date 2017/04/28 · openalex publication_date 2018/04/26 · arxiv created 2018/06/25 · arxiv updated 2020/09/09 · openalex updated_date 2026/08/05
Abstract We prove that the category of trees Ω is a test category in the sense of Grothendieck. This implies that the category of dendroidal sets is endowed with the structure of a model category Quillen-equivalent to spaces. We show that this model category structure, up to a change of cofibrations, can be obtained as an explicit left Bousfield localisation of the operadic model category structure.