Informace o projektu
Lax coherence and codescent objects

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.