Strony linkujące do „Teoria kategorii dla informatyków/Wykład 4: Zaawansowane konstrukcje uniwersalne”
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Następujące strony odwołują się do Teoria kategorii dla informatyków/Wykład 4: Zaawansowane konstrukcje uniwersalne:
Wyświetlono 8 elementów.
- Teoria kategorii dla informatyków (← linkujące)
- Teoria kategorii dla informatyków/Ćwiczenia 1: Teoria kategorii jako abstrakcyjna teoria funkcji (← linkujące)
- Teoria kategorii dla informatyków/Wykład 4: Zaawansowane konstrukcje uniwersalne (← linkujące)
- Teoria kategorii dla informatyków/Ćwiczenia 4: Zaawansowane konstrukcje uniwersalne (← linkujące)
- Teoria kategorii dla informatyków/Ćwiczenia 5: Funktory i transformacje naturalne (← linkujące)
- Teoria kategorii dla informatyków/Wykład 7: Lemat Yonedy i funktory reprezentowalne (← linkujące)
- Teoria kategorii dla informatyków/Wykład 8: Diagramy, granice i kogranice (← linkujące)
- Teoria kategorii dla informatyków/Wykład 6: Równoważność kategorii (← linkujące)