Lax coherence and codescent objects

Project Identification
MUNI/IGA/1396/2020
Project Period
1/2021 - 12/2021
Investor / Pogramme / Project type
Masaryk University
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.

You are running an old browser version. We recommend updating your browser to its latest version.