Prowadzony w
cyklu:
2024L
Punkty ECTS:
6
Organizowany przez:
Wydział Matematyki, Informatyki i Mechaniki
Związany z programami studiów:
Stosowana teoria kategorii 1000-1M24STK
- Źródła teorii kategorii
- Kategorie, funktory, transformacje naturalne
- Język przemiennych diagramów
- Funktory reprezentowane, lemat Yonedy
- Własności uniwersalne. Produkty i koprodukty (sumy) w kategoriach
- Granice i kogranice funktorów
- Funktory sprzężone (dołączone)
- Pull-back i push-out funktorów (rozszerzenia Kana)
- Obiekty symplicjalne; nerw kategorii
- Geometryczna realizacja kategorii
- Zamknięte kategorie modelowe; kategoria homotopii
- n-kategorie i infty-kategorie (info)
Kierunek podstawowy MISMaP
informatyka
matematyka
matematyka
Rodzaj przedmiotu
monograficzne
Tryb prowadzenia
mieszany: w sali i zdalnie
Koordynatorzy przedmiotu
Literatura
- S. Eilenberg, S. Mac Lane " General Theory of Natural Equivalences" Transactions of the American Mathematical Society, Vol. 58, No. 2 (Sep., 1945), pp. 231-294, Stable URL: https://www.jstor.org/stable/1990284
- S. Mac Lane Categories for working mathematicians
- E. Riehl Categories in context. https://math.jhu.edu/~eriehl/context.pdf
Więcej informacji
Więcej informacji o poziomie przedmiotu, roku studiów (i/lub semestrze) w którym się odbywa, o rodzaju i liczbie godzin zajęć - szukaj w planach studiów odpowiednich programów. Ten przedmiot jest związany z programami:
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: