Teoria kategorii dla informatyków/Ćwiczenia 7: Lemat Yonedy i funktory reprezentowalne

Z Studia Informatyczne
< Teoria kategorii dla informatyków
Wersja z dnia 11:09, 25 lip 2006 autorstwa Pqw (dyskusja | edycje)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacjiPrzejdź do wyszukiwania

==Zadanie==

Udowodnić, że jest (bi)funktorem.

Wskazówka:
Rozwiązanie:

==Zadanie==

Udowodnić, że obiekty lokalnie małej kategorii są izomorficzne, jeśli dla każdego obiektu istnieje bijekcja , która spełnia warunek naturalności: dla każdej diagram

Plik:Tk 7 8.jpg

komutuje.

Wskazówka:
Rozwiązanie:

==Zadanie==

Znaleźć reprezentację kontrawariantnego funktora potęgowego.

Wskazówka:
Rozwiązanie:

==Zadanie==

Rozwiązać Zadanie  ? bez odwoływania się do własności funktora .

Wskazówka:
Rozwiązanie:

==Zadanie==

Wykazać, że reprezentacje funktora są ze sobą izomorficzne.

Wskazówka:
Rozwiązanie:

==Zadanie==

Udowodnij, że dla lokalnie małej kategorii , operacja jest bifunktorem.

Wskazówka:
Rozwiązanie: