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 15 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><math>n\geq 2^{\left\lceil \log_2 n \right\rceil}</math>,</option>
<option>Fałsz</option>
</quiz>
 
 
 
 
----------------------------------------------------
; Pyt.2
 
--------------------------------------------------------
; Pyt.3
 
 
----------------------------------------------
Pyt.4
:; +
<quiz type="exclusive">
Zbiory skończone i funkcje tworzą kategorię kartezjańsko
zamkniętą.
 
<rightoption>Prawda</rightoption>
<wrongoption>Fałsz</wrongoption>
</quiz>
 
:; -
<quiz type="exclusive">
Przestrzenie topologiczne i funkcje ciągłe tworzą
kategorię kartezjańsko zamkniętą.
 
<wrongoption>Prawda</wrongoption>
<rightoption>Fałsz</rightoption>
</quiz>
 
:; +
<quiz type="exclusive">
Lambda rachunek (z dodanym elementem końcowym) jest kategorią kartezjańsko zamkniętą.
 
<rightoption>Prawda</rightoption>
<wrongoption>Fałsz</wrongoption>
</quiz>
 
:; -
<quiz type="exclusive">
Algebry Boole'a jako kategorie są kozupełne.
 
<wrongoption>Prawda</wrongoption>
<rightoption>Fałsz</rightoption>
</quiz>
 
:; +
<quiz type="exclusive">
Algebry Boole'a są dystrybutywne.
 
<rightoption>Prawda</rightoption>
<wrongoption>Fałsz</wrongoption>
</quiz>
 
:; +
<quiz type="exclusive">
Algebry Heytinga jako kategorie są kartezjańsko zamknięte.
 
<rightoption>Prawda</rightoption>
<wrongoption>Fałsz</wrongoption>
</quiz>
 
:; -
<quiz type="exclusive">
Grupy abelowe i homomorfizmy grup są kartezjańsko
zamknięte.
 
<wrongoption>Prawda</wrongoption>
<rightoption>Fałsz</rightoption>
</quiz>
 
:; -
<quiz type="exclusive">
Kategorie dyskretne są kartezjańsko zamknięte.
 
<wrongoption>Prawda</wrongoption>
<rightoption>Fałsz</rightoption>
</quiz>
 
:; +
<quiz type="exclusive">
Algebra Heytinga jest algebrą Boole'a wtedy i tylko
wtedy, gdy każdy element posiada element przeciwny.
 
<rightoption>Prawda</rightoption>
<wrongoption>Fałsz</wrongoption>
</quiz>
 
:; -
<quiz type="exclusive">
Kategoria dziedzin ciągłych i funkcji ciągłych w sensie
Scotta jest kartezjańsko zamknięta.
 
<wrongoption>Prawda</wrongoption>
<rightoption>Fałsz</rightoption>
</quiz>
 
:; +
<quiz type="exclusive">
Dla dowolnej topologii krata zbiorów otwartych jest
algebrą Heytinga.
 
<rightoption>Prawda</rightoption>
<wrongoption>Fałsz</wrongoption>
</quiz>
 
:; -
<quiz type="exclusive">
Dla dowolnej topologii krata zbiorów otwartych jest
algebrą Boole'a.
 
<wrongoption>Prawda</wrongoption>
<rightoption>Fałsz</rightoption>
</quiz>
 
:; +
<quiz type="exclusive">
Zbiory otwarte, regularne w dowolnej topologii tworzą
algebrę Boole'a.
 
<rightoption>Prawda</rightoption>
<wrongoption>Fałsz</wrongoption>
</quiz>
 
:; -
<quiz type="exclusive">
Każda algebra Boole'a jest izomorficzna ze zbiorem
podzbiorów pewnego zbioru.
 
<wrongoption>Prawda</wrongoption>
<rightoption>Fałsz</rightoption>
</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?
 
<rightoption>Prawda</rightoption>
<wrongoption>Fałsz</wrongoption>
</quiz>
 
:; +
<quiz type="exclusive">
Kategoria funkcji między zbiorami <math>\displaystyle \mathbf{Set}^{\to}</math> jest kartezjańsko zamknięta.
 
<rightoption>Prawda</rightoption>
<wrongoption>Fałsz</wrongoption>
</quiz>
 
:; -
<quiz type="exclusive">
Kategoria porządków liniowych i funkcji monotonicznych
jest kartezjańsko zamknięta.
 
<wrongoption>Prawda</wrongoption>
<rightoption>Fałsz</rightoption>
</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>).
 
<wrongoption>Prawda</wrongoption>
<rightoption>Fałsz</rightoption>
</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>).
   
   
<rightoption>Prawda</rightoption>
<option><math>n\leq 2^{\left\lceil \log_2 n \right\rceil}</math>,</option>
<wrongoption>Fałsz</wrongoption>
</quiz>
-------------------------------------------------
; Pyt.5
:; +
<quiz type="exclusive">
Funktory tego samego typu wraz z ich transformacjami
naturalnymi tworzą kategorię.
 
<rightoption>Prawda</rightoption>
<wrongoption>Fałsz</wrongoption>
</quiz>
 
:; +
<quiz type="exclusive">
<math>\displaystyle \mathbf{Top}</math> jest konkretna.
 
<rightoption>Prawda</rightoption>
<wrongoption>Fałsz</wrongoption>
</quiz>
 
:; +
<quiz type="exclusive">
<math>\displaystyle \mathbf{Rel}</math> jest konkretna.
 
<rightoption>Prawda</rightoption>
<wrongoption>Fałsz</wrongoption>
</quiz>
 
:; +
<quiz type="exclusive">
Funktor <math>\displaystyle \mathrm{List}\colon \mathbf{Set}\to\mathbf{Mon}</math>
zachowuje koprodukty.
 
<rightoption>Prawda</rightoption>
<wrongoption>Fałsz</wrongoption>
</quiz>
 
:; -
<quiz type="exclusive">
Funktor <math>\displaystyle \mathrm{List}\colon \mathbf{Set}\to\mathbf{Mon}</math>
zachowuje obiekt końcowy.
 
<wrongoption>Prawda</wrongoption>
<rightoption>Fałsz</rightoption>
</quiz>
 
:; +
<quiz type="exclusive">
Funktor <math>\displaystyle \mathrm{List}\colon \mathbf{Set}\to\mathbf{Mon}</math> zachowuje obiekt początkowy.
 
<rightoption>Prawda</rightoption>
<wrongoption>Fałsz</wrongoption>
</quiz>
 
:; -
<quiz type="exclusive">
Funktor zapominania <math>\displaystyle \mathbf{Top}\to\mathbf{Set}</math> jest
pełny.
 
<wrongoption>Prawda</wrongoption>
<rightoption>Fałsz</rightoption>
</quiz>
 
:; -
<quiz type="exclusive">
Kontrawariantny funktor potęgowy jest pełny.
 
<wrongoption>Prawda</wrongoption>
<rightoption>Fałsz</rightoption>
</quiz>
 
:; +
<quiz type="exclusive">
Każda rama jest algebrą Heytinga.
 
<rightoption>Prawda</rightoption>
<wrongoption>Fałsz</wrongoption>
</quiz>
 
:; +
<quiz type="exclusive">
Operacja przypisująca danej przestrzeni topologicznej jej
zbiory otwarte może być rozszerzona do funktora kontrawariantnego.
 
<rightoption>Prawda</rightoption>
<wrongoption>Fałsz</wrongoption>
</quiz>
 
:; -
<quiz type="exclusive">
Kontrawariantny funktor potęgowy jest zawsze wierny.
 
<wrongoption>Prawda</wrongoption>
<rightoption>Fałsz</rightoption>
</quiz>
 
:; +
<quiz type="exclusive">
Transformacja naturalna dwóch funktorów, której komponentami są
izomorfizmy jest izomorfizmem w pewnej kategorii funktorów.
 
<rightoption>Prawda</rightoption>
<wrongoption>Fałsz</wrongoption>
</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.
 
<rightoption>Prawda</rightoption>
<wrongoption>Fałsz</wrongoption>
</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.
 
<wrongoption>Prawda</wrongoption>
<rightoption>Fałsz</rightoption>
</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.
 
<rightoption>Prawda</rightoption>
<wrongoption>Fałsz</wrongoption>
</quiz>
 
:; +
<quiz type="exclusive">
Kowariantny homfunktor zachowuje produkty dowolnej mocy.
 
<rightoption>Prawda</rightoption>
<wrongoption>Fałsz</wrongoption>
</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>.
 
<wrongoption>Prawda</wrongoption>
<rightoption>Fałsz</rightoption>
</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.
 
<wrongoption>Prawda</wrongoption>
<rightoption>Fałsz</rightoption>
</quiz>
 
:; -
<quiz type="exclusive">
Inkluzja <math>\displaystyle \mathbf{Grp}\to\mathbf{Cat}</math> zachowuje
eksponenty.
<wrongoption>Prawda</wrongoption>
<rightoption>Fałsz</rightoption>
</quiz>
---------------------------------------------------
; Pyt.6
 
:; -
<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>\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">
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>
<quiz>   
<option>Fałsz</option>
Dowolny niepusty podzbiór <math>S\subseteq \mathbb{N}</math>  zbioru liczb naturalnych
</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
ma w sobie liczbę największą
:
   
   
<option>Prawda</option>
ma w sobie liczbę najmniejszą
<option>Fałsz</option>
</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 type=„exclusive”>
Funktor Yonedy zachowuje dowolne kogranice.
   
   
; Pyt.9
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”>
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>
<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”>
Istnieją funktory posiadające zarówno lewe, jak i prawe
sprzężenia.


<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”>
Funktor, który posiada lewe sprzężenie nie może posiadać
prawego sprzężenia.


<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”>
Funktory zapominania zawsze posiadają lewe sprzężenie.


<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”>
Funktory wolne są prawym sprzężeniem do funktorów
zapominania.


<option>Prawda</option>
zbiór <math>S</math>  zawiera wszystkie liczby naturalne, które są parzyste
<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
:
   
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Jeśli funktor jest równoważnością kategorii, to posiada
lewe i prawe sprzężenie.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Jeśli każdy komponent kojedności sprzężenia jest
retrakcją, to prawe sprzężenie jest funktorem wiernym.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<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>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Jeśli prawe sprzężenie jest funktorem pełnym i wiernym, to
kojedność sprzężenia jest izomorfizmem.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Jeśli prawe sprzężenie jest funktorem pełnym i wiernym, to
jedność sprzężenia jest izomorfizmem.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Prawe sprzężenia zachowują granice, zaś lewe - kogranice.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; -
<quiz type=„exclusive”>
Lewe sprzężenia zachowują granice, zaś prawe - kogranice.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>
 
:; +
<quiz type=„exclusive”>
Istnieją prawe sprzężenia, które zachowują kogranice oraz
lewe sprzężenia, które zachowują granice.
 
<option>Prawda</option>
<option>Fałsz</option>
</quiz>


:; -
zbiór  <math>S</mathjest zawarty w zbiorze liczb naturalnych, które są parzyste
<quiz type=„exclusive”>
  Jeśli funktor zachowuje granice, to ma lewe sprzężenie.


<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”>
Jeśli funktor między posetami zachowuje granice, to ma
lewe sprzężenie.


<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”>
Każda funkcja monotoniczna między kratami zupełnymi, posiadająca lewe
sprzężenie, zachowuje dowolne infima.


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


:; +
zawsze  <math>7</math>  
<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>
jakakolwiek z cyfr  <math>0,1,2,3,4,5,6,7,8,9</math>  
<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>
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żde dwa prawe sprzężenia danego funktora są
izomorficzne.


<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”>
  Każdy homomorfizm krat zupełnych posiada lewe i prawe
sprzężenie.


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


:; -
<quiz type=„exclusive”>
Każdy homomorfizm ram posiada lewe i prawe sprzężenie.


<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żdy homomorfizm algebr Boole'a posiada lewe i prawe
sprzężenie.


<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 zupełnych algebr Boole'a posiada prawe
i lewe 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”>
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
:
<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
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”>
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