slideshow 3

Set Theory and Analysis

usually takes place Every Tuesday 10:00 IM, konírna
Chair: Martin Doležal, Michal Doucha, Wiesław Kubiś

Enriched Locally Generated Categories

Ivan Di Liberti
IM CAS
Tuesday, 18. May 2021 - 10:30 to 11:30

In the previous talk we have introduced an internal notion of dimension in a category. In this talk we see how one can use “finite models” to recover the whole category of models abstractly. Our result is a technical improvement of the so-called Gabriel-Ulmer duality, which was developed for locally presentable categories. Our machinery is both enriched and works for more general notions of dimension. Based on arXiv:2009.10980.