MAtematický Seznamovací Kurz prO maTuranty (MASKOT) |
|
|
Informace a přihláška zde. Základní informace o kurzu: Termín: 29. září - 2. října 2020 Místo: Rekreační středisko Záseka, Radostín nad Oslavou Ubytování: Ve zděné budově s plnou penzí Cena kurzu: jen 200 Kč (výrazně vyšší část hradí Ústav matematiky a statistiky), v ceně je ubytování a strava Přihlášky se podávají do 22. září 2020. Počet účastníků: maximálně 30, je však možné, že někdo na poslední chvíli nebude moci jet, proto se klidně přihlaste, i když bude kapacita kurzu naplněna. Všechny budeme samozřejmě kontaktovat |
Aktualizováno Čtvrtek, 25 Červen 2020 08:51 |
Online seminář z algebry - 24.9.2020 |
|
|
Další seminář z algebry se koná 24.9.2020 od 13.00 online na platformě ZOOM. Informace pro připojení a další program semináře je zde. Raffael Stenzel
Infinity-categorical comprehension schemes
Abstrakt: WComprehension schemes arose as crucial notions in the early work on the foundations of set theory, and hence they found expression in a considerable variety of foundational settings for mathematics. Particularly, they have been introduced to the context of categorical logic first by Lawvere and then by Benabou in the 1970s. In this talk we define and study a theory of comprehension schemes for fibered infinity-categories, generalizing Johnstone's respective notion for ordinary categories. This includes natural generalizations of all the fundamental instances originally defined by Benabou, and their application to Jacob's comprehension categories. Thereby, we can characterize - numerous categorical structures arising in higher topos theory - the notion of univalence - internal infinity-categories in terms of comprehension schemes, while some of the 1-categorical counterparts fail to hold in ordinary category theory. As an application, we can show that the universal cartesian fibration is represented via externalization by the "freely walking chain" in the infinity-category of small infinity-categories. In the end, if my time management permits, we take a look at the externalization construction of internal infinity-categories from a model categorical perspective and review some examples from the literature in this light.
|
Aktualizováno Úterý, 22 Září 2020 14:34 |