Pobieranie prezentacji. Proszę czekać

Pobieranie prezentacji. Proszę czekać

Logika Kategoryjna Michał R. Przybyłek. Szkice słonia Teoria kategorii jest o abstrakcji spostrzegamy, że w różnych gałęziach matematyki istnieją podobne.

Podobne prezentacje


Prezentacja na temat: "Logika Kategoryjna Michał R. Przybyłek. Szkice słonia Teoria kategorii jest o abstrakcji spostrzegamy, że w różnych gałęziach matematyki istnieją podobne."— Zapis prezentacji:

1 Logika Kategoryjna Michał R. Przybyłek

2 Szkice słonia Teoria kategorii jest o abstrakcji spostrzegamy, że w różnych gałęziach matematyki istnieją podobne konstrukcje i próbujemy je opisać w jeden zuniformowany sposób Teoria kategorii jest o bezelementowym podejściu do uprawiania matematyki

3 Opisy subiektywne i relatywne Arystoteles Galileusz

4 Opisy wewnętrzne i zewnętrzne Ustrukturyzowane elementy Relatywne zachowanie

5 Uogólnione (multi)grafy

6 Kategorie Kategoria składa się z kolekcji: Wierzchołków Obj Ścieżek Mor Każda ścieżka f z Mor ma przyporządkowany swój wierzchołek źródłowy A i docelowy B, co będziemy zapisywać f : A -> B Dla każdych dwóch ścieżek f : A -> B i g : B -> C istnieje ścieżka f#g : A -> C Dla każdego wierzchołka A istnieje ścieżka zerowa i A : A -> A Ponadto zachodzą następujące prawa: (f#g)#h = f#(g#h) dla dowolnych kompatybilnych ścieżek f, g, h f#i B = f, i A #f = g dla dowolnego f : A -> B

7 Przykłady kategorii Graf Liczby naturalne z porządkiem Liczby rzeczywiste z porządkiem Zbiory i funkcje Zbiory i funkcje częściowe Monoid Algebry nad ustaloną sygnaturą i homomorfizmy Przestrzenie topologiczne i przekształcenia ciągłe

8 Charakteryzacje wierzchołków

9 Charakteryzacja ścieżek f : A -> B jest mono, jeżeli dla dowolnego wierzchołka W i ścieżek x, y : W -> A zachodzi: x#f = y#f => x = y f : A -> B jest epi, jeżeli dla dowolnego wierzchołka W i ścieżek x, y : B -> W zachodzi: f#x = f#y => x = y f : A -> B jest split mono, jeżeli istnieje taka ścieżka g : B -> A, że f#g = i A f : A -> B jest split epi, jeżeli istnieje taka ścieżka g : B -> A, że g#f = i B f : A -> B jest izo, jeżeli istnieje taka ścieżka g : B -> A, że f#g = i A oraz g#f = i B

10 Esencje pojęć Produkty Kartezjańskie

11 Systemy dedukcyjne Aksjomaty Reguły

12 Homomorfizmy

13 Struktury

14 Funktory Funktor F z kategorii C do kategorii D to para funkcji F 0 : Obj(C) -> Obj(D), F 1 : Mor(C) -> Mor(D) zachowująca: źródła i cele - tj. dla dowolnej ścieżki f : A -> B zachodzi: F 1 (f) : F 0 (A) -> F 0 (B) złożenia - tj. dla dowolnej pary składalnych morfizmów f, g zachodzi: F 1 (f#g) = F 1 (f)#F 1 (g) identyczności - tj. F 1 (i A ) = i Fo(A)

15 Przykłady funktorów Homomorfizm grafów Włożenia Mnożenie Kartezjańskie Potęgowanie Struktura podzbioru Struktura listy Struktura drzewa


Pobierz ppt "Logika Kategoryjna Michał R. Przybyłek. Szkice słonia Teoria kategorii jest o abstrakcji spostrzegamy, że w różnych gałęziach matematyki istnieją podobne."

Podobne prezentacje


Reklamy Google