Wkład użytkownika Pqw

1 wrz 2006

• 10:5810:58, 1 wrz 2006 różn. hist. +14 Teoria kategorii dla informatyków/Ćwiczenia 6: Równoważność kategorii →Zadanie 6.7
• 10:5710:57, 1 wrz 2006 różn. hist. +9 Teoria kategorii dla informatyków/Ćwiczenia 6: Równoważność kategorii →Zadanie 6.7
• 10:2610:26, 1 wrz 2006 różn. hist. +3 Teoria kategorii dla informatyków/Wykład 6: Równoważność kategorii →Dualność zbiorów skończonych i skończonych algebr Boole'a

30 sie 2006

• 10:2110:21, 30 sie 2006 różn. hist. +2 Teoria kategorii dla informatyków/Ćwiczenia 11: Monady →Zadanie 11.9
• 10:2010:20, 30 sie 2006 różn. hist. −1 Teoria kategorii dla informatyków/Ćwiczenia 11: Monady →Zadanie 11.3
• 10:1810:18, 30 sie 2006 różn. hist. 0 N Plik:Tk-11.16.png Nie podano opisu zmian ostatnia
• 10:1810:18, 30 sie 2006 różn. hist. 0 N Plik:Tk-11.15.png Nie podano opisu zmian ostatnia
• 10:1710:17, 30 sie 2006 różn. hist. 0 N Plik:Tk-11.14.png Nie podano opisu zmian ostatnia
• 10:0410:04, 30 sie 2006 różn. hist. −2 Teoria kategorii dla informatyków/Ćwiczenia 11: Monady →Zadanie 11.6
• 10:0310:03, 30 sie 2006 różn. hist. +6 Teoria kategorii dla informatyków/Ćwiczenia 11: Monady →Zadanie 11.5
• 10:0010:00, 30 sie 2006 różn. hist. +6 Teoria kategorii dla informatyków/Ćwiczenia 11: Monady →Zadanie 11.5
• 09:5909:59, 30 sie 2006 różn. hist. 0 Teoria kategorii dla informatyków/Ćwiczenia 11: Monady →Zadanie 11.5

26 sie 2006

• 23:2423:24, 26 sie 2006 różn. hist. −54 Teoria kategorii dla informatyków/Wykład 13: Teoria dziedzin II →Semantyka aksjomatyczna
• 23:2323:23, 26 sie 2006 różn. hist. +35 Teoria kategorii dla informatyków/Wykład 13: Teoria dziedzin II Nie podano opisu zmian
• 23:2223:22, 26 sie 2006 różn. hist. +39 Teoria kategorii dla informatyków/Wykład 13: Teoria dziedzin II Nie podano opisu zmian
• 23:1823:18, 26 sie 2006 różn. hist. −3 Teoria kategorii dla informatyków/Wykład 10: Sprzężenia II →Istnienie sprzężeń
• 23:0023:00, 26 sie 2006 różn. hist. 0 Logika i teoria mnogości/Wykład 12: Twierdzenie o indukcji. Liczby porządkowe. Zbiory liczb porządkowych. Twierdzenie o definiowaniu przez indukcje pozaskończoną →Dobre uporządkowanie

25 sie 2006

• 21:5621:56, 25 sie 2006 różn. hist. 0 Teoria kategorii dla informatyków/Ćwiczenia 3: Zasada dualności i proste konstrukcje uniwersalne →Zadanie 3.5
• 21:5321:53, 25 sie 2006 różn. hist. +232 Teoria kategorii dla informatyków/Ćwiczenia 5: Funktory i transformacje naturalne →Zadanie 5.4
• 21:4721:47, 25 sie 2006 różn. hist. 0 Teoria kategorii dla informatyków/Ćwiczenia 15: Algebry i koalgebry endofunktorów →Zadanie 15.1
• 21:4521:45, 25 sie 2006 różn. hist. +1 Teoria kategorii dla informatyków/Wykład 15: Algebry i koalgebry endofunktorów →Dowodzenie przez koindukcję
• 21:4321:43, 25 sie 2006 różn. hist. +2 Teoria kategorii dla informatyków/Wykład 12: Teoria dziedzin I →Funkcje ciągłe w sensie Scotta
• 21:4121:41, 25 sie 2006 różn. hist. 0 Teoria kategorii dla informatyków/Ćwiczenia 6: Równoważność kategorii →Zadanie 6.7
• 21:4021:40, 25 sie 2006 różn. hist. +44 Teoria kategorii dla informatyków/Ćwiczenia 6: Równoważność kategorii →Zadanie 6.7
• 21:3621:36, 25 sie 2006 różn. hist. −6 Teoria kategorii dla informatyków/Ćwiczenia 6: Równoważność kategorii →Zadanie 6.1
• 17:1517:15, 25 sie 2006 różn. hist. −14 Teoria kategorii dla informatyków/Wykład 9: Sprzężenia I Nie podano opisu zmian

24 sie 2006

• 23:3123:31, 24 sie 2006 różn. hist. 0 Teoria kategorii dla informatyków/Ćwiczenia 14: Teoria dziedzin III →Zadanie 14.5
• 23:0423:04, 24 sie 2006 różn. hist. +95 Teoria kategorii dla informatyków/Wykład 2: Morfizmy specjalne →Sekcje, retrakcje i pary e-p w kategoriach dziedzin
• 22:5922:59, 24 sie 2006 różn. hist. 0 N Plik:Ilustracja9.png Nie podano opisu zmian ostatnia
• 15:3315:33, 24 sie 2006 różn. hist. −54 Teoria kategorii dla informatyków/Wykład 7: Lemat Yonedy i funktory reprezentowalne →Lemat Yonedy
• 15:3115:31, 24 sie 2006 różn. hist. +10 Teoria kategorii dla informatyków/Wykład 5: Funktory i transformacje naturalne →Transformacje naturalne
• 15:3015:30, 24 sie 2006 różn. hist. +374 Teoria kategorii dla informatyków/Wykład 5: Funktory i transformacje naturalne →Transformacje naturalne
• 15:2315:23, 24 sie 2006 różn. hist. +67 Teoria kategorii dla informatyków/Wykład 5: Funktory i transformacje naturalne →Transformacje naturalne
• 13:1913:19, 24 sie 2006 różn. hist. +9 Teoria kategorii dla informatyków/Wykład 1: Teoria kategorii jako abstrakcyjna teoria funkcji Nie podano opisu zmian

23 sie 2006

• 18:4918:49, 23 sie 2006 różn. hist. +46 Teoria kategorii dla informatyków/Wykład 2: Morfizmy specjalne →Obiekty początkowe i końcowe
• 18:4618:46, 23 sie 2006 różn. hist. +149 Teoria kategorii dla informatyków/Wykład 8: Diagramy, granice i kogranice →Diagramy
• 18:4418:44, 23 sie 2006 różn. hist. 0 N Plik:Ilustracja7.png Nie podano opisu zmian ostatnia
• 18:4418:44, 23 sie 2006 różn. hist. 0 N Plik:Ilustracja8.png Nie podano opisu zmian ostatnia
• 11:2211:22, 23 sie 2006 różn. hist. +48 Teoria kategorii dla informatyków/Wykład 3: Zasada dualności i proste konstrukcje uniwersalne →Ekwalizator i koekwalizator
• 11:1511:15, 23 sie 2006 różn. hist. 0 N Plik:Ilustracja6.png Nie podano opisu zmian ostatnia

22 sie 2006

• 22:5122:51, 22 sie 2006 różn. hist. +119 Teoria kategorii dla informatyków/Wykład 15: Algebry i koalgebry endofunktorów Nie podano opisu zmian
• 22:4522:45, 22 sie 2006 różn. hist. +45 Teoria kategorii dla informatyków/Wykład 7: Lemat Yonedy i funktory reprezentowalne →Lemat Yonedy
• 22:3922:39, 22 sie 2006 różn. hist. +61 Testy 2 →cw
• 22:3122:31, 22 sie 2006 różn. hist. +45 Teoria kategorii dla informatyków/Wykład 7: Lemat Yonedy i funktory reprezentowalne →Lemat Yonedy
• 22:2722:27, 22 sie 2006 różn. hist. 0 N Plik:Ilustracja5.png Nie podano opisu zmian ostatnia
• 18:0318:03, 22 sie 2006 różn. hist. +48 Teoria kategorii dla informatyków/Wykład 3: Zasada dualności i proste konstrukcje uniwersalne →Zasada dualności
• 18:0218:02, 22 sie 2006 różn. hist. 0 N Plik:Ilustracja4k.png Nie podano opisu zmian ostatnia
• 07:4507:45, 22 sie 2006 różn. hist. +10 Teoria kategorii dla informatyków/Ćwiczenia 6: Równoważność kategorii Nie podano opisu zmian

21 sie 2006

• 22:0522:05, 21 sie 2006 różn. hist. +4 Teoria kategorii dla informatyków/Wykład 15: Algebry i koalgebry endofunktorów →Dowodzenie przez koindukcję
• 21:5821:58, 21 sie 2006 różn. hist. +124 Teoria kategorii dla informatyków/Wykład 15: Algebry i koalgebry endofunktorów Nie podano opisu zmian