- Nazwa przedmiotu:
- Teoria Kategorii
- Koordynator przedmiotu:
- Dr inż. Tomasz Brengos
- Status przedmiotu:
- Obowiązkowy
- Poziom kształcenia:
- Studia II stopnia
- Program:
- Matematyka
- Grupa przedmiotów:
- Wspólne
- Kod przedmiotu:
- 1120-MAMNI-NSP-0234
- Semestr nominalny:
- 1 / rok ak. 2020/2021
- Liczba punktów ECTS:
- 5
- Liczba godzin pracy studenta związanych z osiągnięciem efektów uczenia się:
- 1. godziny kontaktowe – 68 h; w tym
a) obecność na wykładach – 30 h
b) obecność na ćwiczeniach – 30 h
c) konsultacje – 8 h
2. praca własna studenta – 60 h; w tym
a) przygotowanie do ćwiczeń i do kolokwiów – 30 h
b) zapoznanie się z literaturą – 10 h
c) przygotowanie referatu – 20 h
Razem 128 h, co odpowiada 5 pkt. ECTS
- Liczba punktów ECTS na zajęciach wymagających bezpośredniego udziału nauczycieli akademickich:
- a) obecność na wykładach – 30 h
b) obecność na ćwiczeniach – 30 h
c) konsultacje – 8 h
Razem 68 h, co odpowiada 3 pkt. ECTS
- Język prowadzenia zajęć:
- polski
- Liczba punktów ECTS, którą student uzyskuje w ramach zajęć o charakterze praktycznym:
- .
- Formy zajęć i ich wymiar w semestrze:
-
- Wykład30h
- Ćwiczenia30h
- Laboratorium0h
- Projekt0h
- Lekcje komputerowe0h
- Wymagania wstępne:
- Przedmioty poprzedzające:
1. Elementy Logiki i Teorii Mnogości
2. Algebra i jej zastosowania 1, 2
3. Algebra liniowa z geometrią 1, 2
4. Analiza 3
5. Topologia
Wymagania wstępne:
1. Znajomość podstawowych pojęć teorii mnogości i algebry abstrakcyjnej.
2. Znajomość podstawowych zagadnień z teorii miary i topologii.
- Limit liczby studentów:
- .
- Cel przedmiotu:
- Zdobycie wiedzy na temat wybranych podstawowych pojęć i konstrukcji teorii kategorii takich jak: kategoria, diagramy, (ko)granice, funktory, naturalne transformacje, sprzężenia, monady oraz konstrukcje z nimi związane.
- Treści kształcenia:
- 1. Kategorie, funktory i naturalne transformacje.
2. Diagramy. Granice i kogranice.
2. Sprzężenia i monady. Algebry Eilenberga-Moore'a. Kategoria Kleisli.
3. Lemat Yonedy.
4. Twierdzenie o funktorach sprzężonych
- Metody oceny:
- Ćwiczenia 60pkt w tym: 2 kolokwia – 40pkt, referat – 15 pkt, aktywność na zajęciach – 5pkt.
Ocena z przedmiotu wystawiona będzie wg następującej skali:
od 31pkt – 3,0
od 37pkt – 3,5
od 43pkt – 4,0
od 49pkt – 4,5
od 55pkt – 5,0
- Egzamin:
- nie
- Literatura:
- 1. Basic Category Theory; Leinster; University of Edinburgh
2. Category Theory for Working Mathematician; Mac Lane, Sanders; Graduate Texts in Mathematics
3. Abstract and Concrete Categories: The Joy of Cats; Adamek, Herrlich, Strecker; Dover Books on Mathematics
- Witryna www przedmiotu:
- .
- Uwagi:
- .
Efekty uczenia się
Profil ogólnoakademicki - wiedza
- Charakterystyka TK_W01
- Ma podstawową wiedzę dotyczącą głównych pojęć teorii kategorii (kategorie, (ko)granice, funktory, naturalne transformacje, sprzężenia, monady).
Weryfikacja: Kolokwia, odpowiedź ustna na ćwiczeniach
Powiązane charakterystyki kierunkowe:
M2MNI_W05, M2MNI_W01
Powiązane charakterystyki obszarowe:
Profil ogólnoakademicki - umiejętności
- Charakterystyka TK_U01
- Potrafi dostrzec konstrukcje kategoryjne w różnych dziedzinach matematyki i informatyki teoretycznej.
Weryfikacja: Kolokwia, odpowiedź ustna na ćwiczeniach
Powiązane charakterystyki kierunkowe:
M2MNI_U02, M2MNI_U03, M2MNI_U06
Powiązane charakterystyki obszarowe:
Profil ogólnoakademicki - kompetencje społeczne
- Charakterystyka TK_KS01
- Rozumie przydatność nabytej wiedzy i umiejętności do stawiania hipotez oraz z ich weryfikacji w możliwych zastosowaniach w teorii kategorii.
Weryfikacja: Aktywność na ćwiczeniach
Powiązane charakterystyki kierunkowe:
M2MNI_K02
Powiązane charakterystyki obszarowe: