Teoria kategorii dla informatyków/Test 14: Teoria dziedzin III

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

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