Politechnika Warszawska - Centralny System Uwierzytelniania
Nie jesteś zalogowany | zaloguj się
katalog przedmiotów - pomoc

Wstęp do teorii kategorii

Informacje ogólne

Kod przedmiotu: 1120-MA000-NSP-0686 Kod Erasmus / ISCED: (brak danych) / (brak danych)
Nazwa przedmiotu: Wstęp do teorii kategorii
Jednostka: Wydział Matematyki i Nauk Informacyjnych
Grupy: Przedmioty obieralne, wydz. MiNI PW
Punkty ECTS i inne: 2.00
Język prowadzenia: polski
Pełny opis:

Przedmioty poprzedzające:

Elementy logiki i teorii mnogości

Program przedmiotu:

1. Kategorie, funktory i transformacje naturalne

- Kategorie,

- Funktory,

- Transformacje naturalne

- Równoważność kategorii

2. Funktory reprezentowalne

- Lemat Yonedy

- Elementy uogólnione

- Przykłady funktorów reprezentowalnych

- Formalne prawa w kategoriach kartezjańsko domkniętych

Literatura:

J. Adamek, H. Herrlich, G. E. Srecker, Abstract and Concrete Categories. The Joy of Cats, open GNU license, 2005

S. Awodey, Category Theory, Oxford University Press, 2010

F. W. Lawvere, S. H. Schnauel, Conceptual Mathematics, A First Introduction to Categories, Cambridge University Press, 2009

Metody i kryteria oceniania:

Przedmiot zalicza się na podstawie wygłoszonego referatu na temat wcześniej ustalony z prowadzącym zajęcia

Zajęcia w cyklu "rok akademicki 2017/2018 - sem. letni" (zakończony)

Okres: 2018-02-19 - 2018-09-30
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Ćwiczenia, 30 godzin więcej informacji
Koordynatorzy: Michał Ziembowski
Prowadzący grup: Michał Ziembowski
Lista studentów: (nie masz dostępu)
Zaliczenie: Ocena łączna

Zajęcia w cyklu "rok akademicki 2016/2017 - sem. letni" (zakończony)

Okres: 2017-02-20 - 2017-09-30
Wybrany podział planu:


powiększ
zobacz plan zajęć
Typ zajęć: Ćwiczenia, 30 godzin więcej informacji
Koordynatorzy: Michał Ziembowski
Prowadzący grup: Michał Ziembowski
Lista studentów: (nie masz dostępu)
Zaliczenie: Przedmiot - Zaliczenie na ocenę
Ćwiczenia - Zaliczenie na ocenę
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Politechnika Warszawska.