Test GR3: Różnice pomiędzy wersjami

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Rogoda (dyskusja | edycje)
Nie podano opisu zmian
m Zastępowanie tekstu – „ </math>” na „</math>”
 
(Nie pokazano 23 wersji utworzonych przez 2 użytkowników)
Linia 8: Linia 8:
<rightoption>Fałsz</rightoption>
<rightoption>Fałsz</rightoption>
</quiz>
</quiz>
---------------------------------------------------------------------




 
<quiz>
Poniższe zdania twierdzące mogą być albo prawdziwe (oznaczone jako
Zaznacz zdania prawdziwe dotyczące podłogi i sufitu:
"+"), albo fałszywe (oznaczane "-"). Zbiór wszystkich pytań
 
podzielono na 15 części, odpowiadających kolejnym modułom.
 
; Pyt.1
:
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
Dowolna kategoria składa się ze zbioru obiektów i zbioru morfizmów, które
spełniają odpowiednie aksjomaty dotyczące złożenia, identyczności,
dziedzin i kodziedzin morfizmów.
 
<option>Prawda</option>
<rightoption>Fałsz</rightoption>
</quiz>
 
:; +
<quiz type="exclusive">
Dowolna kategoria może być interpretowana jako pewnien specjalny graf
skierowany.
 
<rightoption>Prawda</rightoption>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Dowolna kategoria może być interpretowana jako pewna
algebra.
 
<rightoption>Prawda</rightoption>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Kategoria może być jednocześnie mała i lokalnie mała.
 
<rightoption>Prawda</rightoption>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
Kategoria może być jednocześnie mała i duża.
 
<option>Prawda</option>
<rightoption>Fałsz</rightoption>
</quiz>
 
:; +
<quiz type="exclusive">
Kategoria może być jednocześnie lokalnie mała i duża.
 
<rightoption>Prawda</rightoption>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
Kategoria <math>\displaystyle \mathbf{C}</math>, w której dla każdego obiektu <math>\displaystyle A\in
\mathbf{C}_0</math> istnieje dokładnie jeden morfizm typu <math>\displaystyle A\to A</math>
nazywamy konkretną.
 
<option>Prawda</option>
<rightoption>Fałsz</rightoption>
</quiz>
 
:; +
<quiz type="exclusive">
Kategoria <math>\displaystyle \mathbf{C}</math>, w której dla każdego obiektu <math>\displaystyle A\in
\mathbf{C}_0</math> istnieje dokładnie jeden morfizm typu <math>\displaystyle A\to A</math>
nazywamy dyskretną.
 
<rightoption>Prawda</rightoption>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
Kategoria <math>\displaystyle \mathbf{C}</math>, w której dla każdego obiektu <math>\displaystyle A\in
\mathbf{C}_0</math> istnieje dokładnie jeden morfizm typu <math>\displaystyle A\to A</math>
nazywamy monoidem.
 
<option>Prawda</option>
<rightoption>Fałsz</rightoption>
</quiz>
 
:; -
<quiz type="exclusive">
Kategoria <math>\displaystyle \mathbf{C}</math>, w której dla każdego obiektu <math>\displaystyle A\in
\mathbf{C}_0</math> istnieje dokładnie jeden morfizm typu <math>\displaystyle A\to A</math>
nazywamy posetem.
 
<option>Prawda</option>
<rightoption>Fałsz</rightoption>
</quiz>
 
:; -
<quiz type="exclusive">
Nie istnieje kategoria, w której jest <math>\displaystyle 5</math> obiektów i <math>\displaystyle 6</math>
morfizmów.
 
<option>Prawda</option>
<rightoption>Fałsz</rightoption>
</quiz>
 
:; +
<quiz type="exclusive">
Nie istnieje kategoria, w której jest <math>\displaystyle 6</math> obiektów i <math>\displaystyle 5</math>
morfizmów.
 
<rightoption>Prawda</rightoption>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
Nie istnieje kategoria, w której wszystkie obiekty są
izomorficzne.
 
<option>Prawda</option>
<rightoption>Fałsz</rightoption>
</quiz>
 
:; -
<quiz type="exclusive">
Nie istnieje kategoria, w której wszystkie morfizmy mają tę samą kodziedzinę.
 
<option>Prawda</option>
<rightoption>Fałsz</rightoption>
</quiz>
 
:; +
<quiz type="exclusive">
Kategoria <math>\displaystyle \mathbf{Rel}</math> jest lokalnie mała i duża.
 
<rightoption>Prawda</rightoption>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
Liczby naturalne <math>\displaystyle (\mathbb{N},\leq)</math> są kategorią
dyskretną.
 
<option>Prawda</option>
<rightoption>Fałsz</rightoption>
</quiz>
 
:; -
<quiz type="exclusive">
Kategoria <math>\displaystyle \mathbf{Cat}</math> jest lokalnie mała.
 
<option>Prawda</option>
<rightoption>Fałsz</rightoption>
</quiz>
 
:; +
<quiz type="exclusive">
Kategorie dyskretne są lokalnie małe.
 
<rightoption>Prawda</rightoption>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Kategorie konkretne są lokalnie małe.
 
<rightoption>Prawda</rightoption>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Grupa <math>\displaystyle (G,\circ,e)</math> to kategoria z jednym obiektem.
 
<rightoption>Prawda</rightoption>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
<math>\displaystyle \mathbf{Grp}</math> to kategoria, w której wszystkie obiekty
są izomorficzne.
 
<option>Prawda</option>
<rightoption>Fałsz</rightoption>
</quiz>
 
:; +
<quiz type="exclusive">
Dowolne dwa izomorficzne obiekty w <math>\displaystyle \mathbf{Set}</math> są równoliczne.
 
<rightoption>Prawda</rightoption>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Preporządek jest z definicji taką kategorią, w której między
dowolnymi dwoma obiektami istnieje co najwyżej jeden morfizm.
 
<rightoption>Prawda</rightoption>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Preporządek jest kategorią lokalnie małą.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
Preporządek to taka kategoria, w której nie istnieją dwa różne
obiekty izomorficzne.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Preporządek jest częściowym porządkiem wtedy i tylko wtedy, gdy każde
dwa obiekty izomorficzne są sobie równe.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Rachunek lambda jako kategoria jest lokalnie mała.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
<math>\displaystyle \mathbf{Set}</math> jest obiektem <math>\displaystyle \mathbf{Cat}</math>.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
W każdej kategorii niepustej istnieją izomorfizmy.
; Pyt.2
:
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Monomorfizmem w <math>\displaystyle \mathbf{Set}</math> jest każda funkcja injektywna.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
Monomorfizmem w <math>\displaystyle \mathbf{Mon}</math> jest każda funkcja injektywna.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Monomorfizmem w posecie <math>\displaystyle (P,\leq)</math> jest każda ze strzałek.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Monomorfizmem w dowolnej kategorii <math>\displaystyle \mathbf{C}</math> jest każdy epimorfizm w
<math>\displaystyle \mathbf{C}^{op}</math>.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
W kategoriach dyskretnych monomorfizmy są izomorfizmami.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
W kategoriach dyskretnych monomorfizmy są epimorfizmami.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Istnieją kategrie konkretne, w których każdy epimorfizm
jest surjekcją.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
Istnieją kategrie konkretne, w których żaden epimorfizm
nie jest surjekcją.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Istnieją kategorie konkretne, w których pewne epimorfizmy
nie są surjekcjami.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Epimorfizm to pojęcie dualne do monomorfizmu.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Izomorfizm to pojęcie samodualne (tj. dualne do samego
siebie).
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
Monomorfizm to pojęcie samodualne.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
W <math>\displaystyle \mathbf{Top}</math> epimorfizmami są ciągłe surjekcje.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
W kategorii przestrzeni topologicznych Hausdorffa i
funkcji ciągłych epimorfizmy to dokładnie ciągłe surjekcje.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
W preporządku sekcje są izomorfizmami.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
W preporządku pojęcia: sekcji, izomorfizmu, retrakcji,
monomorfizmu, epimorfizmu pokrywają się.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Funktory wierne zachowują sekcje.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Retrakcje w <math>\displaystyle \mathbf{Set}</math> to dokładnie epimorfizmy.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
Jeśli funktor nie jest wierny, to nie musi zachowywać
retrakcji.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
Każda sekcja jest monomorfizmem i epimorfizmem.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Każda sekcja jest monomorfizmem.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
W kategorii dyskretnej każda sekcja jest epimorfizmem.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
Każdy wierny funktor odzwierciedla sekcje i retrakcje.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
W <math>\displaystyle \mathbf{Cat}</math> istnieją epimorfizmy, które nie są
surjekcjami.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
W <math>\displaystyle \mathbf{Cat}</math> istnieją epimorfizmy, które nie są
retrakcjami.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
Każdy funktor zachowuje monomorfizmy.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
Każdy funktor pełny zachowuje izomorfizmy.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Homfunktory kowariantne zachowują i odzwierciedlają monomorfizmy.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
Mono retrakcja jest identycznością.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Mono retrakcja jest izomorfizmem.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
Retrakt dziedziny ciągłej jest algebraiczny.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Retrakt dziedziny algebraicznej jest algebraiczny.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
W parze e-p zanurzenie <math>\displaystyle e</math> jest injekcją.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
W parze e-p projekcja jest injekcją.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
W <math>\displaystyle \mathbf{Rel}</math> obiektem początkowym jest relacja
pusta.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
W <math>\displaystyle \mathbf{Grp}</math> obiektem początkowym jest każdy obiekt
końcowy
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
W <math>\displaystyle \mathbf{Pos}</math> nie istnieje obiekt, który jest
jednocześnie początkowy i końcowy.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Każde dwa obiekty początkowe w dowolnej kategorii są
izomorficzne.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
<math>\displaystyle \mathbf{Cat}</math> nie ma obiektu początkowego.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
Każda kategoria dyskretna jest obiektem końcowym w
<math>\displaystyle \mathbf{Cat}</math>.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Istnieją małe kategorie, w których nie ma obiektów
początkowych, ani końcowych.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Jeśli w danej kategorii pewien obiekt początkowy i pewien obiekt końcowy
są izomorficzne, to kategoria ta posiada tylko jeden morfizm.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Funkcja następnik <math>\displaystyle \mathrm{succ}\colon \mathbb{N}\to
\mathbb{N}</math> jest uogólnionym elementem <math>\displaystyle \mathbb{N}</math>.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Każdy element jest uogólnonym elementem, ale nie
odwrotnie.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
W odcinku <math>\displaystyle ((0,1),\leq)</math> (jako kategorii) istnieje kontinuum elementów.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
W odcinku <math>\displaystyle ([0,1],\leq)</math> istnieje kontinuum elementów.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
W odcinku <math>\displaystyle ((0,1),\leq)</math> istnieje kontinuum elementów
uogólnionych.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Każdy element, którego kodziedziną jest obiekt końcowy
jest identycznością.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Każdy element, którego kodziedziną jest obiekt początkowy
jest identycznością obiektu początkowego.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Każdy element jest monomorfizmem.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Każdy element jest sekcją.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
Każdy element jest retrakcją.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
Każdy element jest izomorfizmem.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
Złożenie elementów jest elementem.
; Pyt.3
:
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Aksjomaty kategorii są samodualne.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
Pojęcie retrakcji jest samodualne.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
Pojęcie obiektu końcowego jest samodualne.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Pojęcie izomorfizmu jest samodualne.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
Niech <math>\displaystyle \mathbf{C}</math> będzie kategorią z produktami. Niech
<math>\displaystyle A,B,C,D\in \mathbf{C}_0</math> i <math>\displaystyle f,g\in \mathbf{C}_1</math>. Jeśli <math>\displaystyle A\times
B\cong C\times D</math>, to <math>\displaystyle A\cong C</math> i <math>\displaystyle B\cong D</math>.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
Niech <math>\displaystyle \mathbf{C}</math> będzie kategorią z produktami. Niech
<math>\displaystyle A,B,C,D\in \mathbf{C}_0</math> i <math>\displaystyle f,g\in \mathbf{C}_1</math>. Jeśli <math>\displaystyle A\times
B\cong B\times A</math>, to <math>\displaystyle A\cong B</math>.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Niech <math>\displaystyle \mathbf{C}</math> będzie kategorią z produktami. Niech
<math>\displaystyle A,B,C,D\in \mathbf{C}_0</math> i <math>\displaystyle f,g\in \mathbf{C}_1</math>. Jeśli <math>\displaystyle A\times
\mathbf{1}\cong \mathbf{1}</math>, to <math>\displaystyle A\cong \mathbf{1}</math>.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Jeśli <math>\displaystyle f,g</math> są sekcjami, to <math>\displaystyle f\times g</math> też.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Jeśli <math>\displaystyle f,g</math> są retrakcjami, to <math>\displaystyle f\times g</math> też.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Jeśli <math>\displaystyle f,g</math> są izomorfizmami, to <math>\displaystyle f\times g</math> też.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
Jeśli <math>\displaystyle f,g</math> są monomorfizmami, to <math>\displaystyle f\times g</math> też.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Lambda rachunek jest kategorią z produktami.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Każdy zbiór jest koproduktem pewnych dwóch innych zbiorów
w <math>\displaystyle \mathbf{Set}</math>.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
W posecie <math>\displaystyle (P,\leq)</math> każdy produkt <math>\displaystyle a\times b</math> dla <math>\displaystyle a,b\in P</math>
(o ile istnieje) jest ekwalizatorem wtedy i tylko wtedy, gdy
<math>\displaystyle a=b</math>.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
Każdy ekwalizator jest epimorfizmem.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
W kategorii z pulbakami zawsze istnieją obiekty początkowe.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
W kategorii z pulbakami i obiektem końcowym zawsze istnieją ekwalizatory.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
Każda sekcja jest ekwalizatorem.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Pulbak epimorfizmu jest epimorfizmem.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Pulbak izomorfizmu jest izomorfizmem.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Każda kategoria z koproduktami i koekwalizatorami posiada
pushouty.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
Każda kategoria z obiektem początkowym i koekwalizatorami
posiada obiekt końcowy.
; Pyt.4
:
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Zbiory skończone i funkcje tworzą kategorię kartezjańsko
zamkniętą.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
Przestrzenie topologiczne i funkcje ciągłe tworzą
kategorię kartezjańsko zamkniętą.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Lambda rachunek (z dodanym elementem końcowym) jest kategorią kartezjańsko zamkniętą.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
Algebry Boole'a jako kategorie są kozupełne.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Algebry Boole'a są dystrybutywne.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Algebry Heytinga jako kategorie są kartezjańsko zamknięte.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
Grupy abelowe i homomorfizmy grup są kartezjańsko
zamknięte.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
Kategorie dyskretne są kartezjańsko zamknięte.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Algebra Heytinga jest algebrą Boole'a wtedy i tylko
wtedy, gdy każdy element posiada element przeciwny.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
Kategoria dziedzin ciągłych i funkcji ciągłych w sensie
Scotta jest kartezjańsko zamknięta.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type="exclusive">
Dla dowolnej topologii krata zbiorów otwartych jest
algebrą Heytinga.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type="exclusive">
Dla dowolnej topologii krata zbiorów otwartych jest
algebrą Boole'a.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Zbiory otwarte, regularne w dowolnej topologii tworzą
algebrę Boole'a.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Każda algebra Boole'a jest izomorficzna ze zbiorem
podzbiorów pewnego zbioru.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Monomorfizmy o wspólnej kodziedzinie uporządkujmy
relacją "faktoryzacji", tj. <math>\displaystyle f\leq g</math> wtw, gdy istnieje <math>\displaystyle h</math> tak,
że <math>\displaystyle g\circ h =f</math>. Zdefiniujmy relację równoważności <math>\displaystyle R</math> między
monomorfizmami o wspólnej kodziedzinie jako: <math>\displaystyle f\equiv g</math> wtw, gdy
<math>\displaystyle f\leq g</math> i <math>\displaystyle g\leq f</math>. Uporządkujmy zbiór klas abstrakcji tej
relacji jako: <math>\displaystyle [f]\sqsubseteq [g]</math> wtw, gdy <math>\displaystyle f\leq g</math>. Czy ten
częściowy porządek jest algebrą Heytinga?
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Kategoria funkcji między zbiorami <math>\displaystyle \mathbf{Set}^{\to}</math> jest kartezjańsko zamknięta.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Kategoria porządków liniowych i funkcji monotonicznych
jest kartezjańsko zamknięta.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
W kategorii kartezjańsko zamkniętej <math>\displaystyle \mathbf{C}</math> funktor podnoszenia do potęgi <math>\displaystyle [A,-]</math> zachowuje
koprodukty (tutaj <math>\displaystyle A\in \mathbf{C}_0</math>).
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
W kategorii kartezjańsko zamkniętej <math>\displaystyle \mathbf{C}</math> funktor podnoszenia do potęgi <math>\displaystyle [A,-]</math> zachowuje
obiekt końcowy (tutaj <math>\displaystyle A\in \mathbf{C}_0</math>).
; Pyt.5
:
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Funktory tego samego typu wraz z ich transformacjami
naturalnymi tworzą kategorię.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
<math>\displaystyle \mathbf{Top}</math> jest konkretna.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
<math>\displaystyle \mathbf{Rel}</math> jest konkretna.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Funktor <math>\displaystyle \mathrm{List}\colon \mathbf{Set}\to\mathbf{Mon}</math>
zachowuje koprodukty.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Funktor <math>\displaystyle \mathrm{List}\colon \mathbf{Set}\to\mathbf{Mon}</math>
zachowuje obiekt końcowy.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Funktor <math>\displaystyle \mathrm{List}\colon \mathbf{Set}\to\mathbf{Mon}</math> zachowuje obiekt początkowy.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Funktor zapominania <math>\displaystyle \mathbf{Top}\to\mathbf{Set}</math> jest
pełny.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Kontrawariantny funktor potęgowy jest pełny.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Każda rama jest algebrą Heytinga.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Operacja przypisująca danej przestrzeni topologicznej jej
zbiory otwarte może być rozszerzona do funktora kontrawariantnego.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Kontrawariantny funktor potęgowy jest zawsze wierny.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Transformacja naturalna dwóch funktorów, której komponentami są
izomorfizmy jest izomorfizmem w pewnej kategorii funktorów.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Istnieją dwa funktory, których złożenie jest
transformacją identycznościową w <math>\displaystyle \mathbf{Set}</math>, ale które nie są
izomorficzne.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Operacja, która przestrzeni wektorowej <math>\displaystyle V</math> przypisuje
jej przestrzeń podwójnie dualną <math>\displaystyle V^{**}</math> jest naturalnym
izomorfizmem.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Operacja, która przestrzeni wektorowej <math>\displaystyle V</math> przypisuje
jej przestrzeń podwójnie dualną <math>\displaystyle V^{**}</math> jest naturalnym
izomorfizmem, o ile <math>\displaystyle V</math> jest skończenie wymiarowa.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Kowariantny homfunktor zachowuje produkty dowolnej mocy.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Dla dowolonych zbiorów <math>\displaystyle X,Y</math> istnieje następująca
bijekcja:<br>
<math>\displaystyle \mathcal{P}(X\times Y)\cong \mathcal{P}(X)\times \mathcal{P}(Y)</math>.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Operacja <math>\displaystyle F\colon \mathbf{C}\times \mathbf{D}\to
\mathbf{E}</math> jest bifunktorem wtedy i tylko wtedy, gdy dla
dowolnych obiektów <math>\displaystyle C\in \mathbf{C}_0</math>, <math>\displaystyle D\in \mathbf{D}_0</math>
operacje <math>\displaystyle F(C,-)\colon \mathbf{D}\to \mathbf{E}</math> oraz
<math>\displaystyle F(-,D)\colon \mathbf{C}\to\mathbf{E}</math> są funktorami.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Inkluzja <math>\displaystyle \mathbf{Grp}\to\mathbf{Cat}</math> zachowuje
eksponenty.
; Pyt.6
:
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Każde dwie równoważne kategorie są izomorficzne.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Każde dwie izomorficzne kategorie są równoważne.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Każde dwie dualne kategorie są izomorficzne.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Funktor jest równoważnością wtedy i tylko wtedy, gdy jest
pełny i wierny.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Jeśli preporządek jest równoważny porządkowi, to jest
porządkiem.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Istnieją dwa preporządki równoważne, które nie są
izomorficzne.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Kategoria zbiorów i funkcji jest dualna do kategorii
zupełnych algebr Boole'a i homomorfizmów.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Kategoria zbiorów skończonych i funkcji jest dualna do kategorii
algebr Boole'a.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Każda atomowa algebra Boole'a jest izomorficzna ze zbiorem
podzbiorów pewnego zbioru.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Każda zupełna algebra Boole'a jest izomorficzna ze
zbiorem podzbiorów pewnego zbioru.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Jeśli algebra Boole'a jest izomorficzna ze zbiorem
podzbiorów pewnego zbioru, to jest zupełna.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Każda zupełna algebra Boole'a jest atomowa.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Każda skończona algebra Boole'a jest zupełna.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Każda atomowa algebra Boole'a jest skończona.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Każda skończona algebra Boole'a jest atomowa.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Każda rama jest kratą dystrybutywną.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Jeśli <math>\displaystyle L</math> jest kratą dystrybutywną, to <math>\displaystyle L^{op}</math> też.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
W dowolnej kracie <math>\displaystyle L</math> dopełnienie filtra pierwszego jest
ideałem.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Każdy ultrafiltr w algebrze Boole'a jest pierwszy.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Każdy filtr pierwszy w kracie dystrybutywnej jest
ultrafiltrem.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Filtr otoczeń otwartych dowolnego punktu w przestrzeni
topologicznej jest filtrem właściwym.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Filtr otoczeń otwartych dowolnego punktu w przestrzeni
topologicznej jest filtrem zupełnie pierwszym.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Filtr otoczeń otwartych dowolnego punktu w przestrzeni
topologicznej jest filtrem pierwszym.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
W dowolnej kracie <math>\displaystyle L</math>, jeśli <math>\displaystyle F</math> jest filtrem, zaś <math>\displaystyle I</math>
ideałem, oraz <math>\displaystyle F\cap I=\emptyset</math>, wtedy istnieje filtr pierwszy
<math>\displaystyle F'</math> taki, że <math>\displaystyle F'\supseteq F</math> i <math>\displaystyle F'\cap I=\emptyset</math>.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
W kratach dystrybutywnych ultrafiltry są pierwsze.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
W kratach dystrybutywnych filtry pierwsze są maksymalne.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Każda przestrzeń realna jest <math>\displaystyle T_0</math>.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Każda przestrzeń <math>\displaystyle T_0</math> jest realna.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Każda przestrzeń <math>\displaystyle T_1</math> jest realna.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Przestrzenie realne są przestrzeniami Hausdorffa.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Dziedziny ciągłe w topologii Scotta są realne.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
W porządku specjalizacji przestrzeni realnej istnieją
suprema wszystkich zbiorów skierowanych.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Funktor <math>\displaystyle \Omega\colon \mathbf{Top}\to\mathbf{Frm}^{op}</math>
jest prawym sprzężeniem do funktora
<math>\displaystyle \mathrm{pt}\colon\mathbf{Frm}^{op}\to\mathbf{Top}</math>.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Dla dowolnej topologii <math>\displaystyle X</math> przestrzeń
<math>\displaystyle \mathrm{pt}(\Omega(X))</math> jest przestrzenią <math>\displaystyle T_0</math>.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Dla dowolnej topologii realnej <math>\displaystyle X</math> przestrzeń
<math>\displaystyle \mathrm{pt}(\Omega(X))</math> jest homeomorficzna z <math>\displaystyle X</math>.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Dla dowolnej topologii <math>\displaystyle X</math> przestrzeń
<math>\displaystyle \mathrm{pt}(\Omega(X))</math> jest przestrzenią Hausdorffa.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Jeśli krata <math>\displaystyle L</math> jest przestrzenną ramą, to topologia
<math>\displaystyle \mathrm{pt}(L)</math> jest realna.
   
   
; Pyt.7
<option><math>n\geq 2^{\left\lceil \log_2 n \right\rceil}</math>,</option>
:
   
   
<option>Prawda</option>
<option><math>n\leq 2^{\left\lceil \log_2 n \right\rceil}</math>,</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Dla dowolnej kategorii <math>\displaystyle \mathbf{C}</math> kategoria
<math>\displaystyle [\mathbf{C}^{op},\mathbf{Set}]</math> jest kartezjańsko zamknięta,
zupełna i kozupełna.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Funktor Yonedy zachowuje izomorfizmy.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Funktor Yonedy odzwierciedla retrakcje.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Funktor Yonedy jest reprezentowalny.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Każde dwa funktory reprezentowalne są izomorficzne.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Kontrawariantny funktor potęgowy jest reprezentowalny.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Para <math>\displaystyle (\mathbb{N},+),0)</math> jest reprezentacją funktora
zapominania <math>\displaystyle U\colon\mathbf{Mon}\to\mathbf{Set}</math>.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Każde dwie reprezentacje funktora <math>\displaystyle F\colon
\mathbf{C}^{op}</math> (gdzie <math>\displaystyle \mathbf{C}</math> jest dowolną lokalnie małą
kategorią) są izomorficzne.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Każdy funktor typu <math>\displaystyle \mathbf{C}^{op}\to \mathbf{Set}</math> dla
lokalnie małej kategorii <math>\displaystyle \mathbf{C}</math> jest reprezentowalny.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Jeśli <math>\displaystyle \mathcal{Y}(A)(X)\cong\mathcal{Y}(A)(Y)</math>, to
<math>\displaystyle X\cong Y</math> dla dowolnych obiektów <math>\displaystyle X,Y</math> lokalnie małej kategorii
<math>\displaystyle \mathbf{C}</math>.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Jeśli <math>\displaystyle \mathcal{Y}(X)(A)\cong\mathcal{Y}(Y)(A)</math>, to
<math>\displaystyle X\cong Y</math> dla dowolnych obiektów <math>\displaystyle X,Y</math> lokalnie małej kategorii
<math>\displaystyle \mathbf{C}</math>.
   
   
; Pyt.8
<option><math>\left\lceil \log_2 \left\lceil n/2 \right\rceil \right\rceil=\left\lceil \log_2 \left( n/2 \right) \right\rceil</math>,</option>
:
   
   
<option>Prawda</option>
<option><math>\left\lfloor \log_2 \left\lceil n/2 \right\rceil \right\rfloor=\left\lfloor \log_2 \left( n/2 \right) \right\rfloor</math>.</option>
<option>Fałsz</option>
</quiz>  
</quiz>
 
:; +
<quiz type=„exclusive”>
Obiekt końcowy jest stożkiem nad pustym diagramem.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Obiekt końcowy jest granicą pustego diagramu.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Obiekt początkowy jest granicą pustego diagramu.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Dowolny diagram w kategorii zupełniej <math>\displaystyle \mathbf{C}</math>
posiada granicę.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Istnieje kategoria kozupełna <math>\displaystyle \mathbf{C}</math>, w której nie ma
obiektu końcowego.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Produkt jest granicą diagramu nad kategorią dyskretną
(tzn. produkt w <math>\displaystyle \mathbf{C}</math> jest granicą funktora
<math>\displaystyle \mathbf{J}\to\mathbf{C}</math>, gdzie <math>\displaystyle \mathbf{J}</math> jest kategorią
dyskretną.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Istnieje kategoria, w której koprodukt w <math>\displaystyle \mathbf{Set}</math> jest
produktem.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Ekwalizator jest granicą diagramu, którego dziedziną jest
kategoria, w której są dokładnie <math>\displaystyle 2</math> strzałki.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Ekwalizator jest granicą diagramu, którego dziedziną jest
kategoria, w której są dokładnie <math>\displaystyle 4</math> strzałki.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Ekwalizator jest granicą diagramu, którego dziedziną jest
kategoria, w której są dokładnie <math>\displaystyle 2</math> strzałki równoległe.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Jeśli w danej kategorii istnieją wszystkie pulbaki i co
najmniej jeden obiekt końcowy, to w tej kategorii istnieją
wszystkie granice.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Jeśli w danej kategorii istnieją wszystkie pulbaki i co
najmniej jeden obiekt końcowy, to w tej kategorii istnieją
wszystkie granice skończone.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Jeśli w posecie <math>\displaystyle (P,\leq)</math> istnieją wszystkie granice, to
poset dualny <math>\displaystyle (P,\geq)</math> jest kratą zupełną.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Jeśli w posecie <math>\displaystyle (P,\leq)</math> istnieją wszystkie granice, to
poset dualny <math>\displaystyle (P,\geq)</math> jest algebrą Heytinga.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Każda mała kozupełna kategoria jest preporządkiem.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Każda mała zupełna kategoria jest preporządkiem.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Każda lokalnie mała kozupełna kategoria jest preporządkiem.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Każda lokalnie mała zupełna kategoria jest preporządkiem.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Kategoria zbiorów skończonych i funkcji jest zupełna.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Kategoria <math>\displaystyle \mathbf{Dcpo}</math> jest zupełna.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Jeśli kategoria <math>\displaystyle \mathbf{C}</math> posiada pulbaki i obiekt
końcowy, to posiada też produkty.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Jeśli kategoria <math>\displaystyle \mathbf{C}</math> posiada pulbaki i obiekt
końcowy, to posiada też koprodukty.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Funktor Yonedy jest ciągły.


<option>Prawda</option>
<option>Fałsz</option>
</quiz>


:; -
<quiz>
<quiz type=„exclusive”>
Dowolny niepusty podzbiór  <math>S\subseteq \mathbb{N}</math> zbioru liczb naturalnych
  Funktor Yonedy zachowuje dowolne kogranice.
 
   
   
; Pyt.9
ma w sobie liczbę największą
:
   
   
<option>Prawda</option>
ma w sobie liczbę najmniejszą
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Funktor podnoszenia do potęgi <math>\displaystyle [X,-]\colon
\mathbf{C}\to\mathbf{C}</math>, <math>\displaystyle X\in\mathbf{C}_0</math> w kartezjańsko
zamkniętej kategorii <math>\displaystyle \mathbf{C}</math> jest prawym sprzężeniem.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Istnieją funktory posiadające zarówno lewe, jak i prawe
sprzężenia.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Funktor, który posiada lewe sprzężenie nie może posiadać
prawego sprzężenia.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Funktory zapominania zawsze posiadają lewe sprzężenie.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Funktory wolne są prawym sprzężeniem do funktorów
zapominania.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Funktor <math>\displaystyle \mathrm{List}\colon \mathbf{Set}\to\mathbf{Mon}</math>
jest funktorem wolnym.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Nie istnieje lewe sprzężenie funktora zapominania
<math>\displaystyle \mathbf{Top}\to\mathbf{Set}</math>.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Operacja przeciwobrazu funkcji jest lewym sprzężeniem operacji
obrazu funkcji.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Koprodukt jest lewym sprzężeniem lewego sprzężenia
produktu.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Każdy funktor będący lewym sprzężeniem jest wierny.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Operacja brania wnętrza zbioru w przestrzeni
topologicznej <math>\displaystyle X</math> jest lewym sprzężeniem inkluzji zbiorów
otwartych w podzbiory <math>\displaystyle X</math>.
   
   
; Pyt.10
ma w sobie liczbę największą oraz liczbę najmniejszą
:
   
   
<option>Prawda</option>
ma w sobie liczbę najmniejszą ale nigdy nie ma największej
<option>Fałsz</option>
</quiz>
</quiz>


:; +
<quiz type=„exclusive”>
Jeśli funktor jest równoważnością kategorii, to posiada
lewe i prawe sprzężenie.


<option>Prawda</option>
<quiz> 
<option>Fałsz</option>
Zbiór  <math>S\subseteq\mathbb{N}</math> jest taki, że jeśli  <math>s\in S</math>  to  <math>s+1\in S</math> .
</quiz>
Jeśli  <math>9\in S</math> , to:


:; +
<math>S=\mathbb{N}</math>  
<quiz type=„exclusive”>
Jeśli każdy komponent kojedności sprzężenia jest
retrakcją, to prawe sprzężenie jest funktorem wiernym.


<option>Prawda</option>
<math>S=\mathbb{N}-\left\lbrace 0,1,2,3,4,5,6,7,8 \right\rbrace</math>  
<option>Fałsz</option>
</quiz>


:; -
<math>S\subseteq\mathbb{N}-\left\lbrace 0,1,2,3,4,5,6,7,8 \right\rbrace</math>  
<quiz type=„exclusive”>
Jeśli każdy komponent kojedności sprzężenia jest
epimorfizmem, to prawe sprzężenie jest funktorem pełnym.


<option>Prawda</option>
<math>S\supseteq\mathbb{N}-\left\lbrace 0,1,2,3,4,5,6,7,8 \right\rbrace</math>  
<option>Fałsz</option>
</quiz>
</quiz>


:; +
<quiz type=„exclusive”>
Jeśli prawe sprzężenie jest funktorem pełnym i wiernym, to
kojedność sprzężenia jest izomorfizmem.


<option>Prawda</option>
<quiz>
<option>Fałsz</option>
Zbiór  <math>S\subseteq\mathbb{N}</math> jest taki, że jeśli  <math>a,b\in S</math> ,
</quiz>
to  <math>a+b\in S</math> oraz  <math>a+b+1\not\in S</math> .
Jeśli  <math>0,2 \in S</math> , to:


:; -
<math>S=\mathbb{N}</math>  
<quiz type=„exclusive”>
Jeśli prawe sprzężenie jest funktorem pełnym i wiernym, to
jedność sprzężenia jest izomorfizmem.


<option>Prawda</option>
zbiór  <math>S</math> zawiera wszystkie liczby naturalne, które są parzyste
<option>Fałsz</option>
</quiz>


:; +
zbiór  <math>S</mathjest zawarty w zbiorze liczb naturalnych, które są parzyste
<quiz type=„exclusive”>
  Prawe sprzężenia zachowują granice, zaś lewe - kogranice.


<option>Prawda</option>
zbiór  <math>S</math> jest zbiorem wszystkich liczb naturalnych, które są parzyste
<option>Fałsz</option>
</quiz>
</quiz>


:; -
<quiz type=„exclusive”>
Lewe sprzężenia zachowują granice, zaś prawe - kogranice.


<option>Prawda</option>
<quiz>
<option>Fałsz</option>
Ostatnią cyfrą liczby  <math>3^{3^n}</math> jest:
</quiz>


:; +
zawsze  <math>3</math>  
<quiz type=„exclusive”>
Istnieją prawe sprzężenia, które zachowują kogranice oraz
lewe sprzężenia, które zachowują granice.


<option>Prawda</option>
zawsze  <math>3</math> lub  <math>7</math>  
<option>Fałsz</option>
</quiz>


:; -
zawsze  <math>7</math>  
<quiz type=„exclusive”>
Jeśli funktor zachowuje granice, to ma lewe sprzężenie.


<option>Prawda</option>
jakakolwiek z cyfr  <math>0,1,2,3,4,5,6,7,8,9</math>  
<option>Fałsz</option>
</quiz>
</quiz>


:; +
<quiz type=„exclusive”>
Jeśli funktor między posetami zachowuje granice, to ma
lewe sprzężenie.


<option>Prawda</option>
<quiz> 
<option>Fałsz</option>
Jeśli <math>Z \subseteq \mathbb{N}</math> jest jakimś zbiorem liczb naturalnych,
</quiz>
który wraz z każdym początkowym fragmentem zbioru  <math>\mathbb{N}</math>
postaci <math>\left\lbrace 0,\ldots,k-1 \right\rbrace</math> zawiera również kolejną liczbę  <math>k</math>, to wtedy


:; +
zbiór  <math>Z</mathzawiera wszystkie liczby naturalne poza skończonym podzbiorem
<quiz type=„exclusive”>
  Każda funkcja monotoniczna między kratami zupełnymi, posiadająca lewe
sprzężenie, zachowuje dowolne infima.


<option>Prawda</option>
zbiór  <math>Z</math> zawiera wszystkie liczby naturalne
<option>Fałsz</option>
</quiz>


:; +
zbiór  <math>Z</mathzawiera nieskończenie wiele liczb naturalnych
<quiz type=„exclusive”>
  Prawe sprzężenie między posetami jest surjekcją wtedy i
tylko wtedy, gdy jego lewe sprzężenie jest injekcją.


<option>Prawda</option>
zbiór  <math>Z</math> jest pusty
<option>Fałsz</option>
</quiz>
</quiz>


:; -
<quiz type=„exclusive”>
Prawe sprzężenie między posetami jest injekcją wtedy i
tylko wtedy, gdy jego lewe sprzężenie jest surjekcją.


<option>Prawda</option>
<quiz>
<option>Fałsz</option>
Grupa uczniów stojących przed klasą skłóciła się do tego stopnia, że nikt z nikim się nie lubił. Jeden z nich, aby naprawić relacje, wymyślił, że jeżeli wszyscy znajdujący się wewnątrz klasy będą pogodzeni, to nie powinno być problemu, aby któryś stojący na zewnątrz klasy wszedł do środka i pogodził się ze wszystkimi, będącymi w klasie. Drugi z nich zauważył jednak, że nic z tego nie wyjdzie, bo w środku nikogo nie ma. Czy klasa jest w stanie się pogodzić?
</quiz>


:; +
klasa na pewno się nie pogodzi
<quiz type=„exclusive”>
Każde dwa prawe sprzężenia danego funktora są
izomorficzne.


<option>Prawda</option>
klasa się pogodzi, jeżeli każdy pójdzie za radą pierwszego ucznia
<option>Fałsz</option>
</quiz>


:; +
jeżeli w klasie byłaby już jedna osoba, to reszta klasy miałaby szansę się pogodzić
<quiz type=„exclusive”>
Każdy homomorfizm krat zupełnych posiada lewe i prawe
sprzężenie.


<option>Prawda</option>
jeżeli w klasie byłyby już co najmniej dwie osoby,
<option>Fałsz</option>
przy czym osoby w klasie byłyby ze sobą pogodzone,
to reszta klasy miałaby szansę się pogodzić
</quiz>
</quiz>


:; -
<quiz type=„exclusive”>
Każdy homomorfizm ram posiada lewe i prawe sprzężenie.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; -
<quiz type=„exclusive”>
Każdy homomorfizm algebr Boole'a posiada lewe i prawe
sprzężenie.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; +
<quiz type=„exclusive”>
Każdy homomorfizm zupełnych algebr Boole'a posiada prawe
i lewe sprzężenie.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; -
<quiz type=„exclusive”>
W parze e-p między posetami, projekcja jest lewym
sprzężeniem zanurzenia.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; +
<quiz type=„exclusive”>
W parze e-p między posetami, zanurzenie zachowuje dowolne
suprema.
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
:; +
<quiz type=„exclusive”>
W parze e-p między posetami, zanurzenie i projekcja
wzajemnie się wyznaczają.
   
   
; Pyt.11
<quiz> 
:  
Jeśli  <math>S\subseteq\mathbb{N}</math> , to:
   
   
<option>Prawda</option>
zbiór <math>S</math>  ma element największy
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
  Każde sprzężenie <math>\displaystyle F\dashv G</math> indukuje monadę
<math>\displaystyle (GF,\eta,G\eta_F)</math>.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
  Każde sprzężenie <math>\displaystyle F\dashv G</math> indukuje komonadę
<math>\displaystyle (FG,\varepsilon,F\eta_G)</math>.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Dowolna monada jest monadą indukowaną przez dokładnie
jedno sprzężenie.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Dowolna monada jest monadą indukowaną przez sprzężenie.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Każda monada na preporządku jest operacją idempotentną.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Funktor zapominania <math>\displaystyle \mathbf{Mon}\to\mathbf{Set}</math> jest
częścią sprzężenia, którego algebry monady indukowanej tworzą
kategorię równoważną z <math>\displaystyle \mathbf{Set}</math>.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Funktor zapominania <math>\displaystyle \mathbf{Mon}\to\mathbf{Set}</math> jest
częścią sprzężenia, którego algebry monady indukowanej tworzą
kategorię równoważną z <math>\displaystyle \mathbf{Mon}</math>.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Zwarte przestrzenie Hausdorffa i funkcje ciągłę tworzą kategorię algebraiczną.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Zupełne algebry Boole'a i homomorfizmy tych algebr tworzą
kategorię algebraiczną.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Kategoria grup jest równoważna kategorii algebr dla
pewnej monady.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Suma mnogościowa <math>\displaystyle \bigcup</math> jest mnożeniem pewnej monady.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Operacja dodawania nowego elementu najmniejszego do
częściowego porządku indukuje monadę nad <math>\displaystyle \mathbf{Pos}</math>.
   
   
; Pyt.12
zbiór  <math>S</math>  ma element najmniejszy
:
   
   
<option>Prawda</option>
zbiór <math>S</math>  ma element największy, o ile <math>S</math>  jest niepusty
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Każda dziedzina ciągła posiada bazę przeliczalną.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Każdy element bazy dziedziny ciągłej jest zwarty.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Każda baza posetu algebraicznego zawiera wszystkie
elementy zwarte.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Każdy poset skończony jest algebraiczny.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Każdy poset skończony jest dcpo.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Każda krata skończona jest dcpo.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Relacja aproksymacji na dowolnym posecie jest
interpolatywna.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Relacja aproksymacji na dowolnej dziedzinie Scotta jest
interpolatywna.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Liczby naturalne są dcpo.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Liczby naturalne są posetem algebraicznym i bc-zupełnym.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Każda rama jest dcpo.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Każda krata dystrybutywna jest dcpo.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Istnieje poset nieskończony, którego każdy element, który
nie jest maksymalny, jest zwarty.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Zbiory domknięte w sensie Scotta na dowolnym posecie są domknięte ze względu
na dowolne suprema.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Zbiory domknięte w sensie Scotta na dowolnym posecie skończonym są domknięte ze względu
na dowolne suprema.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Stożki górne w posecie <math>\displaystyle P</math> (tj. zbiory typu <math>\displaystyle \uparrow x</math> dla <math>\displaystyle x\in
P</math>) są zwarte w topologii Scotta.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
  Każdy stożek dolny <math>\displaystyle \downarrow x</math> w dziedzinie ciągłej <math>\displaystyle P</math> wraz z
porządkiem z <math>\displaystyle P</math> obciętym do <math>\displaystyle \downarrow x</math> jest dziedziną ciągłą.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
  Topologia Scotta na dowolnym porządku jest <math>\displaystyle T_0</math>.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Istnieją częściowe porządki dowolnej mocy, dla których
topologia Scotta jest <math>\displaystyle T_1</math>.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
  Topologia Scotta na porządku jest <math>\displaystyle T_1</math> wtedy i tylko
wtedy, gdy częściowy porządek redukuje się do równości.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Topologia Scotta na posecie posiadającym element
najmniejszy jest zwarta.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Topologia Scotta na dowolnej dziedzinie ciągłej jest
realna.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Topologia Scotta na dowolnym dcpo jest realna.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
  Funkcja ciągła w sensie Scotta jest monotoniczna.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Każda funkcja ciągła w sensie Scotta na dowolnym posecie posiada punkt stały.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Każda funkcja ciągła w sensie Scotta na posecie
posiadającym element najmniejszy posiada punkt stały.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Każda funkcja ciągła w sensie Scotta na dcpo
posiadającym element najmniejszy posiada najmniejszy punkt stały.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Każda funkcja monotoniczna na dcpo
posiadającym element najmniejszy posiada punkt stały.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Porządek specjalizacji topologii Scotta na dziedzinie
ciągłej pokrywa się z porządkiem tejże dziedziny.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Funkcje ciągłe w sensie Scotta zachowują suprema zbiorów
skierowanych.
   
   
; Pyt.13
zbiór <math>S</math>  ma element najmniejszy, o ile <math>S</math>  jest niepusty
:
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
LISP jest językiem imperatywnym.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
FORTRAN jest językiem imperatywnym.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
  <math>\displaystyle \mathbf{Dcpo}</math> jest kategorią zupełną i kartezjańsko
zamkniętą.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
  Kategoria dziedzin ciągłych i funkcji ciągłych w sensie
Scotta jest zupełna.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Kategoria dziedzin ciągłych i funkcji ciągłych w sensie
Scotta jest kartezjańsko zamknięta.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Kategoria dziedzin algebraicznych i funkcji ciągłych w sensie
Scotta jest kartezjańsko zamknięta.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Jeśli <math>\displaystyle D</math> jest dziedziną ciągłą i <math>\displaystyle E</math> jest dziedziną
bc-zupełną, to <math>\displaystyle [D,E]</math> jest dziedziną bc-zupełną.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Jeśli <math>\displaystyle D</math> jest dziedziną ciągłą i <math>\displaystyle E</math> jest dziedziną
bc-zupełną, to <math>\displaystyle [D,E]</math> jest dcpo.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Operator <math>\displaystyle \mathrm{fix}\colon [P,P]\to P</math> przypisujący
funkcji ciągłej w sensie Scotta na dcpo posiadającym element
najmniejszy jej punkt stały jest ciągły w sensie Scotta.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Operator <math>\displaystyle \mathrm{fix}\colon [P,P]\to P</math> przypisujący
funkcji ciągłej w sensie Scotta na dowolnej kracie zupełnej jej
punkt stały jest ciągły w sensie Scotta.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Pętle <math>\displaystyle \mathtt{while}</math> w semantyce denotacyjnej
modelujemy używając operatora punktu stałego.
; Pyt.14
:
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
<math>\displaystyle \mathbf{Dcpo}^{EP}_{\bot}</math> jest <math>\displaystyle \omega</math>-kategorią.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
<math>\displaystyle \mathbf{Dcpo}</math> jest <math>\displaystyle \omega</math>-kategorią.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
<math>\displaystyle \mathbf{Set}</math> jest <math>\displaystyle \omega</math>-kategorią.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Funktor między kategoriami dziedzin jest ciągły, jeśli
jest funkcją ciągłą w sensie Scotta.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
W <math>\displaystyle \mathbf{Set}</math> równanie <math>\displaystyle D\cong [D,D]</math> dla <math>\displaystyle D\in \mathbf{Set}_0</math> nie ma żadnego
rozwiązania.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
  W <math>\displaystyle \mathrm{Dcpo}</math> istnieje nieskończenie wiele rozwiązań
równania <math>\displaystyle D\cong [D,D]</math>.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
  Istnienie kategorii, w której rekursywne równania typu <math>\displaystyle D\cong [D,D]</math>
mają rozwiązania, jest wykorzystywane w semantyce operacyjnej
nietypowanego rachunku lambda.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Istnienie kategorii, w której rekursywne równania typu <math>\displaystyle D\cong [D,D]</math>
mają rozwiązania, jest wykorzystywane w semantyce denotacyjnej
nietypowanego rachunku lambda.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Przekątna <math>\displaystyle \Delta\colon
\mathbf{Dcpo}\to\mathbf{Dcpo}\times\mathbf{Dcpo}</math> jest funktorem
ciągłym i lokalnie ciągłym.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
<math>\displaystyle \mathbf{Dcpo}</math> jest kategorią zupełną i kozupełną.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Każdy endomorfizm w <math>\displaystyle \mathbf{Dcpo}</math> posiada najmniejszy
punkt stały.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Dowolny endofunktor na <math>\displaystyle \omega</math>-kategorii posiada punkt
stały.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Każdy ciągłe endofunktor na <math>\displaystyle \omega</math>-kategorii posiada
punkt stały.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
W <math>\displaystyle \mathbf{Set}</math> istnieją nietrywialne rozwiązania
rówania <math>\displaystyle X\cong X+X</math>.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Liczby naturalne <math>\displaystyle \omega</math> są rozwiązaniem równania
<math>\displaystyle X\cong\mathbf{1}\oplus X</math> w kategorii <math>\displaystyle \mathbf{Dcpo}</math>.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Liczby naturalne <math>\displaystyle \omega</math> są rozwiązaniem równania
<math>\displaystyle X\cong X_{\bot}</math> w katetgorii <math>\displaystyle \mathbf{Dcpo}</math>.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Leniwe liczby naturalne są rozwiązaniem równania <math>\displaystyle X\cong
X\oplus X</math> w kategorii <math>\displaystyle \mathbf{Dcpo}</math>.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Podzbiory liczb naturanych <math>\displaystyle \mathcal{P}\omega</math>
uporządkowane względem inkluzji spełniają rówanie
<math>\displaystyle \mathcal{P}\omega\cong [\mathcal{P}\omega,\mathcal{P}\omega]</math> w
kategorii <math>\displaystyle \mathbf{Dcpo}</math>.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Model zbioru Cantora <math>\displaystyle \Sigma^{\infty}</math> jest rozwiązaniem
pewnego rekursywnego równania w kategorii <math>\displaystyle \mathbf{Dcpo}</math>.
; Pyt.15
:
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Koalgebrą funktora <math>\displaystyle T\colon \mathbf{Set}\to\mathbf{Set}</math>
jest każda para <math>\displaystyle (X,a\colon TX\to X)</math>.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Algebry początkowe endofunktorów w <math>\displaystyle \mathbf{Set}</math> są
jedyne z dokładnością do izomrfizmu.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Istnieje kategoria, w której para
<math>\displaystyle (\mathbb{N},[0,s]\colon \mathbf{1}+\mathbb{N}\to\mathbb{N})</math> jest
obiektem końcowym.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Nieskończone listy nad alfabetem <math>\displaystyle A</math> są koalgebrą końcową
pewnego endofunktora na <math>\displaystyle \mathbf{Set}</math>.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Nieskończone listy nad alfabetem <math>\displaystyle A</math> są koalgebrą
początkową pewnego endofunktora na <math>\displaystyle \mathbf{Set}</math>.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Każda bisymulacja jest bipodobieństwem, ale nie
odwrotnie.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Dwie nieskończone listy będące w relacji bisymulacji
muszą być sobie równe.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Dwie bipodobne nieskończone listy są sobie równe.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Istnieje bipodobieństwo, które nie jest bisymulacją.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Koindukcja jest metodą dowodzenia własności list
nieskończonych.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Metoda dowodzenia przez koindukcję opiera się na
własności uniwersalnej algebr początkowych endofunktorów w
<math>\displaystyle \mathbf{Set}</math>.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Relacja odwrotna do bisymulacji jest bipodobieństwem.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
<math>\displaystyle T</math>-koalgebry dla ustalonego funktora <math>\displaystyle T\colon \mathbf{Set}\to\mathbf{Set}</math> wraz z homomorfizmami
tworzą kategorię małą.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Graf homomorfizmu dwóch dowolnych koalgebr jest
bipodobieństwem.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Graf homomorfizmu dwóch dowolnych koalgebr jest
bisymulacją.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Istnieją endofunktory w <math>\displaystyle \mathbf{Set}</math>, dla których
kategoria algebr nie posiada obiektu początkowego.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Dla każdego endofunktora <math>\displaystyle T</math> w <math>\displaystyle \mathbf{Set}</math> kategoria
<math>\displaystyle T</math>-koalgebr posiada obiekt końcowy.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Zasada indukcji matematycznej na liczabch naturalnych
jest równoważna faktowi, że liczby naturalne wraz z elementem zero
i funkcją następnika tworzą algebrę początkową endofunktora
<math>\displaystyle \mathbf{1}+(-)</math> w <math>\displaystyle \mathbf{Set}</math>.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Każda <math>\displaystyle T</math>-algebra początkowa jest izomorfizmem.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Każda <math>\displaystyle T</math>-koalgebra końcowa jest izomorfizmem.
<option>Prawda</option>
<option>Fałsz</option>
 
</quiz>
</quiz>

Aktualna wersja na dzień 11:02, 5 wrz 2023

--- przykładowo jak zrobić pierwsze pytanie z pierwszego modułu ---

Dowolna kategoria składa się ze zbioru obiektów i zbioru morfizmów, które spełniają odpowiednie aksjomaty dotyczące złożenia, identyczności, dziedzin i kodziedzin morfizmów.

Prawda

Fałsz



Zaznacz zdania prawdziwe dotyczące podłogi i sufitu:


n2log2n,

n2log2n,

log2n/2=log2(n/2),

log2n/2=log2(n/2).


Dowolny niepusty podzbiór S zbioru liczb naturalnych


ma w sobie liczbę największą

ma w sobie liczbę najmniejszą

ma w sobie liczbę największą oraz liczbę najmniejszą

ma w sobie liczbę najmniejszą ale nigdy nie ma największej


Zbiór S jest taki, że jeśli sS to s+1S . Jeśli 9S , to:

S=

S={0,1,2,3,4,5,6,7,8}

S{0,1,2,3,4,5,6,7,8}

S{0,1,2,3,4,5,6,7,8}


Zbiór S jest taki, że jeśli a,bS , to a+bS oraz a+b+1∉S . Jeśli 0,2S , to:

S=

zbiór S zawiera wszystkie liczby naturalne, które są parzyste

zbiór S jest zawarty w zbiorze liczb naturalnych, które są parzyste

zbiór S jest zbiorem wszystkich liczb naturalnych, które są parzyste


Ostatnią cyfrą liczby 33n jest:

zawsze 3

zawsze 3 lub 7

zawsze 7

jakakolwiek z cyfr 0,1,2,3,4,5,6,7,8,9


Jeśli Z jest jakimś zbiorem liczb naturalnych, który wraz z każdym początkowym fragmentem zbioru postaci {0,,k1} zawiera również kolejną liczbę k, to wtedy

zbiór Z zawiera wszystkie liczby naturalne poza skończonym podzbiorem

zbiór Z zawiera wszystkie liczby naturalne

zbiór Z zawiera nieskończenie wiele liczb naturalnych

zbiór Z jest pusty


Grupa uczniów stojących przed klasą skłóciła się do tego stopnia, że nikt z nikim się nie lubił. Jeden z nich, aby naprawić relacje, wymyślił, że jeżeli wszyscy znajdujący się wewnątrz klasy będą pogodzeni, to nie powinno być problemu, aby któryś stojący na zewnątrz klasy wszedł do środka i pogodził się ze wszystkimi, będącymi w klasie. Drugi z nich zauważył jednak, że nic z tego nie wyjdzie, bo w środku nikogo nie ma. Czy klasa jest w stanie się pogodzić?

klasa na pewno się nie pogodzi

klasa się pogodzi, jeżeli każdy pójdzie za radą pierwszego ucznia

jeżeli w klasie byłaby już jedna osoba, to reszta klasy miałaby szansę się pogodzić

jeżeli w klasie byłyby już co najmniej dwie osoby, przy czym osoby w klasie byłyby ze sobą pogodzone, to reszta klasy miałaby szansę się pogodzić


Jeśli S , to:

zbiór S ma element największy

zbiór S ma element najmniejszy

zbiór S ma element największy, o ile S jest niepusty

zbiór S ma element najmniejszy, o ile S jest niepusty