Teoria kategorii dla informatyków/Test 14: Teoria dziedzin III
jest -kategorią.
Prawda
Fałsz
jest -kategorią.
Prawda
Fałsz
jest -kategorią.
Prawda
Fałsz
Funktor między kategoriami dziedzin jest ciągły, jeśli
jest funkcją ciągłą w sensie Scotta.
Prawda
Fałsz
W równanie dla nie ma żadnego
rozwiązania.
Prawda
Fałsz
W istnieje nieskończenie wiele rozwiązań
równania .
Prawda
Fałsz
Istnienie kategorii, w której rekursywne równania typu
mają rozwiązania, jest wykorzystywane w semantyce operacyjnej
nietypowanego rachunku lambda.
Prawda
Fałsz
Istnienie kategorii, w której rekursywne równania typu
mają rozwiązania, jest wykorzystywane w semantyce denotacyjnej
nietypowanego rachunku lambda.
Prawda
Fałsz
Przekątna jest funktorem
ciągłym i lokalnie ciągłym.
Prawda
Fałsz
jest kategorią zupełną i kozupełną.
Prawda
Fałsz
Każdy endomorfizm w posiada najmniejszy
punkt stały.
Prawda
Fałsz
Dowolny endofunktor na -kategorii posiada punkt
stały.
Prawda
Fałsz
Każdy ciągłe endofunktor na -kategorii posiada
punkt stały.
Prawda
Fałsz
W istnieją nietrywialne rozwiązania
rówania .
Prawda
Fałsz
Liczby naturalne są rozwiązaniem równania
w kategorii .
Prawda
Fałsz
Liczby naturalne są rozwiązaniem równania
w katetgorii .
Prawda
Fałsz
Leniwe liczby naturalne są rozwiązaniem równania w kategorii .
Prawda
Fałsz
Podzbiory liczb naturanych
uporządkowane względem inkluzji spełniają rówanie
w
kategorii .
Prawda
Fałsz
Model zbioru Cantora jest rozwiązaniem
pewnego rekursywnego równania w kategorii .
Prawda
Fałsz