MoL-2018-34: A right semimodel structure on semisimplicial sets

MoL-2018-34: Rooduijn, Jan (2018) A right semimodel structure on semisimplicial sets. [Pre-print]

[thumbnail of MoL-2018-34.text.pdf]

Download (381kB) | Preview


In this thesis we investigate to what extent the Kan-Quillen model structure on simplicial sets can be transferred along the left adjoint of the free-forgetful adjunction with semisimplicial sets. We establish the novel result that, while the full model structure cannot be transferred, the underlying right semimodel structure can. Using earlier results we show that the adjunction becomes an equivalence between right semimodel structures, and that the fibrant objects and fibrations between fibrant objects are characterised by having the right lifting property against the semisimplicial horn inclusions. We show by a counterexample that this is not the case for all fibrations, for not every morphism that maps to a simplicial anodyne extension is a semisimplicial anodyne extension. Finally, we show that the strong anodyne extensions of simplicial and semisimplicial sets do coincide.

Item Type: Pre-print
Report Nr: MoL-2018-34
Series Name: Master of Logic Thesis (MoL) Series
Year: 2018
Subjects: Logic
Depositing User: Dr Marco Vervoort
Date Deposited: 07 Feb 2019 17:37
Last Modified: 13 Jun 2019 13:22

Actions (login required)

View Item View Item