Project information
Lax coherence and codescent objects
- Project Identification
- MUNI/IGA/1396/2020
- Project Period
- 1/2021 - 12/2021
- Investor / Pogramme / Project type
-
Masaryk University
- Internal grant agency MU
- MU Faculty or unit
- Faculty of Science
Codescent objects (a certain 2-categorical colimit) play a big role in the modern approach to coherence for pseudo-algebras in 2-category theory. The goal of this project will be to provide methods on how to calculate certain codescent objects and then use this knowledge in the study of coherence results for lax algebras.