Lax coherence and codescent objects

Kód projektu
MUNI/IGA/1396/2020
Období řešení
1/2021 - 12/2021
Investor / Programový rámec / typ projektu
Masarykova univerzita
Fakulta / Pracoviště MU
Přírodovědecká fakulta

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.

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.