MoL-2022-20: McCloskey, Erin (2022) Relative Weak Factorization Systems. [Report]
![[thumbnail of MoL-2022-20.text.pdf]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text
MoL-2022-20.text.pdf Download (509kB) |
Abstract
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 Logic |
| Depositing User: | Dr Marco Vervoort |
| Date Deposited: | 29 Sep 2022 14:21 |
| Last Modified: | 29 Sep 2022 14:21 |
| URI: | https://eprints.illc.uva.nl/id/eprint/2220 |
Actions (login required)
 |
View Item |
