MoL-2024-05: Ye, Lingyuan (2024) Algebraic Monoidal Model Categories and Path Category Structures for Effective Kan Fibrations. [Report]
![[thumbnail of MoL-2024-05.text.pdf]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text
MoL-2024-05.text.pdf - Published Version Download (990kB) |
Abstract
In this document, we first develop a general framework to lift the pushout-product axioms in classical homotopy theory to the structured context of algebraic weak factorisation systems. The outcome is a notion of an algebraic monoidal model category. Within this framework, we are able to formulate and prove a structured analogue of Joyal-Tierney calculus, with the help of which we put an algebraic monoidal structure on effective Kan fibrations.
Effective Kan fibration is a new notion of fibration introduced in [63], in order to develop a constructive model of homotopy type theory on simplicial sets. In the second part of this document, we show there is a path category structure on the full subcategory of effective Kan fibrations over any object, using the algebraic monoidal structure constructed earlider. This brings us closer to showing the existence of a full model structure. Finally, we also identify a key semantic property, which we refer to as Moore equivalence extension. Based on the results in this document, we are able to show that if simplicial sets satisfy this property, then there exists a full algebraic monoidal model category structure for effective Kan fibrations.
| Item Type: | Report |
|---|---|
| Report Nr: | MoL-2024-05 |
| Series Name: | Master of Logic Thesis (MoL) Series |
| Year: | 2024 |
| Subjects: | Logic Mathematics |
| Depositing User: | Dr Marco Vervoort |
| Date Deposited: | 01 Jul 2024 12:54 |
| Last Modified: | 01 Jul 2024 12:54 |
| URI: | https://eprints.illc.uva.nl/id/eprint/2315 |
Actions (login required)
 |
View Item |
