MoL-2022-20: Relative Weak Factorization Systems

MoL-2022-20: McCloskey, Erin (2022) Relative Weak Factorization Systems. [Report]

[thumbnail of MoL-2022-20.text.pdf] Text

Download (509kB)


This thesis introduces and develops the notion of a relative weak factorization system. Motivated by research directions in type theory, we combine ideas from algebraic weak factorization systems with the concept of relative monads and comonads, to define a generalized, more flexible analogue of weak factorization systems, which is able to incorporate additional shapes of diagrams. We prove results regarding the properties of these systems and their relationships to existing notions of weak factorization systems.

Item Type: Report
Report Nr: MoL-2022-20
Series Name: Master of Logic Thesis (MoL) Series
Year: 2022
Subjects: Computation
Depositing User: Dr Marco Vervoort
Date Deposited: 29 Sep 2022 14:21
Last Modified: 29 Sep 2022 14:21

Actions (login required)

View Item View Item