Test GR3

--- 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 Źle

Fałsz Dobrze

---

+

Obiekt końcowy jest stożkiem nad pustym diagramem.

Prawda Dobrze

Fałsz

+

Obiekt końcowy jest granicą pustego diagramu.

Prawda Dobrze

Fałsz

-

Obiekt początkowy jest granicą pustego diagramu.

Prawda

Fałsz Dobrze

+

Dowolny diagram w kategorii zupełniej $\mathbf{𝐂}$ posiada granicę.

Prawda Dobrze

Fałsz

+

Istnieje kategoria kozupełna $\mathbf{𝐂}$, w której nie ma obiektu końcowego.

Prawda Dobrze

Fałsz

+

Produkt jest granicą diagramu nad kategorią dyskretną (tzn. produkt w $\mathbf{𝐂}$ jest granicą funktora $\mathbf{𝐉}\to \mathbf{𝐂}$, gdzie $\mathbf{𝐉}$ jest kategorią dyskretną.

Prawda Dobrze

Fałsz

+

Istnieje kategoria, w której koprodukt w $\mathbf{𝐒}\mathbf{𝐞}\mathbf{𝐭}$ jest produktem.

Prawda Dobrze

Fałsz

-

Ekwalizator jest granicą diagramu, którego dziedziną jest kategoria, w której są dokładnie $2$ strzałki.

Prawda

Fałsz Dobrze

+

Ekwalizator jest granicą diagramu, którego dziedziną jest kategoria, w której są dokładnie $4$ strzałki.

Prawda Dobrze

Fałsz

+

Ekwalizator jest granicą diagramu, którego dziedziną jest kategoria, w której są dokładnie $2$ strzałki równoległe.

Prawda Dobrze

Fałsz

-

Jeśli w danej kategorii istnieją wszystkie pulbaki i co najmniej jeden obiekt końcowy, to w tej kategorii istnieją wszystkie granice.

Prawda

Fałsz Dobrze

+

Jeśli w danej kategorii istnieją wszystkie pulbaki i co najmniej jeden obiekt końcowy, to w tej kategorii istnieją wszystkie granice skończone.

Prawda Dobrze

Fałsz

+

Jeśli w posecie $(P,\le )$ istnieją wszystkie granice, to poset dualny $(P,\ge )$ jest kratą zupełną.

Prawda Dobrze

Fałsz

-

Jeśli w posecie $(P,\le )$ istnieją wszystkie granice, to poset dualny $(P,\ge )$ jest algebrą Heytinga.

Prawda

Fałsz Dobrze

+

Każda mała kozupełna kategoria jest preporządkiem.

Prawda Dobrze

Fałsz

+

Każda mała zupełna kategoria jest preporządkiem.

Prawda Dobrze

Fałsz

-

Każda lokalnie mała kozupełna kategoria jest preporządkiem.

Prawda

Fałsz Dobrze

-

Każda lokalnie mała zupełna kategoria jest preporządkiem.

Prawda

Fałsz Dobrze

-

Kategoria zbiorów skończonych i funkcji jest zupełna.

Prawda

Fałsz Dobrze

+

Kategoria $\mathbf{𝐃}\mathbf{𝐜}\mathbf{𝐩}\mathbf{𝐨}$ jest zupełna.

Prawda Dobrze

Fałsz

+

Jeśli kategoria $\mathbf{𝐂}$ posiada pulbaki i obiekt końcowy, to posiada też produkty.

Prawda Dobrze

Fałsz

-

Jeśli kategoria $\mathbf{𝐂}$ posiada pulbaki i obiekt końcowy, to posiada też koprodukty.

Prawda

Fałsz Dobrze

+

Funktor Yonedy jest ciągły.

Prawda Dobrze

Fałsz

-

Funktor Yonedy zachowuje dowolne kogranice.

Prawda

Fałsz Dobrze

---

Pyt.9

+

Funktor podnoszenia do potęgi $[X,-]:\mathbf{𝐂}\to \mathbf{𝐂}$, $X\in {\mathbf{𝐂}}_0$ w kartezjańsko zamkniętej kategorii $\mathbf{𝐂}$ jest prawym sprzężeniem.

Prawda Dobrze

Fałsz

+

Istnieją funktory posiadające zarówno lewe, jak i prawe sprzężenia.

Prawda Dobrze

Fałsz

-

Funktor, który posiada lewe sprzężenie nie może posiadać prawego sprzężenia.

Prawda

Fałsz Dobrze

-

Funktory zapominania zawsze posiadają lewe sprzężenie.

Prawda

Fałsz Dobrze

-

Funktory wolne są prawym sprzężeniem do funktorów zapominania.

Prawda

Fałsz Dobrze

+

Funktor $\mathrm{L}\mathrm{i}\mathrm{s}\mathrm{t}:\mathbf{𝐒}\mathbf{𝐞}\mathbf{𝐭}\to \mathbf{𝐌}\mathbf{𝐨}\mathbf{𝐧}$ jest funktorem wolnym.

Prawda Dobrze

Fałsz

-

Nie istnieje lewe sprzężenie funktora zapominania $\mathbf{𝐓}\mathbf{𝐨}\mathbf{𝐩}\to \mathbf{𝐒}\mathbf{𝐞}\mathbf{𝐭}$.

Prawda

Fałsz Dobrze

-

Operacja przeciwobrazu funkcji jest lewym sprzężeniem operacji obrazu funkcji.

Prawda

Fałsz Dobrze

+

Koprodukt jest lewym sprzężeniem lewego sprzężenia produktu.

Prawda Dobrze

Fałsz

-

Każdy funktor będący lewym sprzężeniem jest wierny.

Prawda

Fałsz Dobrze

-

Operacja brania wnętrza zbioru w przestrzeni topologicznej $X$ jest lewym sprzężeniem inkluzji zbiorów otwartych w podzbiory $X$.

Prawda

Fałsz Dobrze

---

Pyt.10

+

Jeśli funktor jest równoważnością kategorii, to posiada lewe i prawe sprzężenie.

Prawda Dobrze

Fałsz

+

Jeśli każdy komponent kojedności sprzężenia jest retrakcją, to prawe sprzężenie jest funktorem wiernym.

Prawda Dobrze

Fałsz

-

Jeśli każdy komponent kojedności sprzężenia jest epimorfizmem, to prawe sprzężenie jest funktorem pełnym.

Prawda

Fałsz Dobrze

+

Jeśli prawe sprzężenie jest funktorem pełnym i wiernym, to kojedność sprzężenia jest izomorfizmem.

Prawda Dobrze

Fałsz

-

Jeśli prawe sprzężenie jest funktorem pełnym i wiernym, to jedność sprzężenia jest izomorfizmem.

Prawda

Fałsz Dobrze

+

Prawe sprzężenia zachowują granice, zaś lewe - kogranice.

Prawda Dobrze

Fałsz

-

Lewe sprzężenia zachowują granice, zaś prawe - kogranice.

Prawda

Fałsz Dobrze

+

Istnieją prawe sprzężenia, które zachowują kogranice oraz lewe sprzężenia, które zachowują granice.

Prawda Dobrze

Fałsz

-

Jeśli funktor zachowuje granice, to ma lewe sprzężenie.

Prawda

Fałsz Dobrze

+

Jeśli funktor między posetami zachowuje granice, to ma lewe sprzężenie.

Prawda Dobrze

Fałsz

+

Każda funkcja monotoniczna między kratami zupełnymi, posiadająca lewe sprzężenie, zachowuje dowolne infima.

Prawda Dobrze

Fałsz

+

Prawe sprzężenie między posetami jest surjekcją wtedy i tylko wtedy, gdy jego lewe sprzężenie jest injekcją.

Prawda Dobrze

Fałsz

-

Prawe sprzężenie między posetami jest injekcją wtedy i tylko wtedy, gdy jego lewe sprzężenie jest surjekcją.

Prawda

Fałsz Dobrze

+

Każde dwa prawe sprzężenia danego funktora są izomorficzne.

Prawda Dobrze

Fałsz

+

Każdy homomorfizm krat zupełnych posiada lewe i prawe sprzężenie.

Prawda Dobrze

Fałsz

-

Każdy homomorfizm ram posiada lewe i prawe sprzężenie.

Prawda

Fałsz Dobrze

-

Każdy homomorfizm algebr Boole'a posiada lewe i prawe sprzężenie.

Prawda

Fałsz Dobrze

+

Każdy homomorfizm zupełnych algebr Boole'a posiada prawe i lewe sprzężenie.

Prawda Dobrze

Fałsz

-

W parze e-p między posetami, projekcja jest lewym sprzężeniem zanurzenia.

Prawda

Fałsz Dobrze

+

W parze e-p między posetami, zanurzenie zachowuje dowolne suprema.

Prawda Dobrze

Fałsz

+

W parze e-p między posetami, zanurzenie i projekcja wzajemnie się wyznaczają.

Prawda Dobrze

Fałsz

---

Pyt.11

+

Każde sprzężenie $F⊣G$ indukuje monadę $(GF,\eta ,G{\eta }_F)$.

Prawda Dobrze

Fałsz

+

Każde sprzężenie $F⊣G$ indukuje komonadę $(FG,\epsilon ,F{\eta }_G)$.

Prawda Dobrze

Fałsz

-

Dowolna monada jest monadą indukowaną przez dokładnie jedno sprzężenie.

Prawda

Fałsz Dobrze

+

Dowolna monada jest monadą indukowaną przez sprzężenie.

Prawda Dobrze

Fałsz

+

Każda monada na preporządku jest operacją idempotentną.

Prawda Dobrze

Fałsz

-

Funktor zapominania $\mathbf{𝐌}\mathbf{𝐨}\mathbf{𝐧}\to \mathbf{𝐒}\mathbf{𝐞}\mathbf{𝐭}$ jest częścią sprzężenia, którego algebry monady indukowanej tworzą kategorię równoważną z $\mathbf{𝐒}\mathbf{𝐞}\mathbf{𝐭}$.

Prawda

Fałsz Dobrze

+

Funktor zapominania $\mathbf{𝐌}\mathbf{𝐨}\mathbf{𝐧}\to \mathbf{𝐒}\mathbf{𝐞}\mathbf{𝐭}$ jest częścią sprzężenia, którego algebry monady indukowanej tworzą kategorię równoważną z $\mathbf{𝐌}\mathbf{𝐨}\mathbf{𝐧}$.

Prawda Dobrze

Fałsz

+

Zwarte przestrzenie Hausdorffa i funkcje ciągłę tworzą kategorię algebraiczną.

Prawda Dobrze

Fałsz

-

Zupełne algebry Boole'a i homomorfizmy tych algebr tworzą kategorię algebraiczną.

Prawda

Fałsz Dobrze

+

Kategoria grup jest równoważna kategorii algebr dla pewnej monady.

Prawda Dobrze

Fałsz

+

Suma mnogościowa $\bigcup$ jest mnożeniem pewnej monady.

Prawda Dobrze

Fałsz

+

Operacja dodawania nowego elementu najmniejszego do częściowego porządku indukuje monadę nad $\mathbf{𝐏}\mathbf{𝐨}\mathbf{𝐬}$.

Prawda Dobrze

Fałsz

---

Pyt.12

-

Każda dziedzina ciągła posiada bazę przeliczalną.

Prawda

Fałsz Dobrze

-

Każdy element bazy dziedziny ciągłej jest zwarty.

Prawda

Fałsz

+

Każda baza posetu algebraicznego zawiera wszystkie

elementy zwarte.

Prawda

Fałsz

+

Każdy poset skończony jest algebraiczny.

Prawda

Fałsz

+

Każdy poset skończony jest dcpo.

Prawda

Fałsz

+

Każda krata skończona jest dcpo.

Prawda

Fałsz

-

Relacja aproksymacji na dowolnym posecie jest

interpolatywna.

Prawda

Fałsz

+

Relacja aproksymacji na dowolnej dziedzinie Scotta jest

interpolatywna.

Prawda

Fałsz

-

Liczby naturalne są dcpo.

Prawda

Fałsz

+

Liczby naturalne są posetem algebraicznym i bc-zupełnym.

Prawda

Fałsz

+

Każda rama jest dcpo.

Prawda

Fałsz

-

Każda krata dystrybutywna jest dcpo.

Prawda

Fałsz

+

Istnieje poset nieskończony, którego każdy element, który

nie jest maksymalny, jest zwarty.

Prawda

Fałsz

-

Zbiory domknięte w sensie Scotta na dowolnym posecie są domknięte ze względu

na dowolne suprema.

Prawda

Fałsz

+

Zbiory domknięte w sensie Scotta na dowolnym posecie skończonym są domknięte ze względu

na dowolne suprema.

Prawda

Fałsz

+

Stożki górne w posecie $P$ (tj. zbiory typu $\uparrow x$ dla $x\in P$) są zwarte w topologii Scotta.

Prawda

Fałsz

+

Każdy stożek dolny $\downarrow x$ w dziedzinie ciągłej $P$ wraz z

porządkiem z $P$ obciętym do $\downarrow x$ jest dziedziną ciągłą.

Prawda

Fałsz

+

Topologia Scotta na dowolnym porządku jest $T_0$.

Prawda

Fałsz

+

Istnieją częściowe porządki dowolnej mocy, dla których

topologia Scotta jest $T_1$.

Prawda

Fałsz

+

Topologia Scotta na porządku jest $T_1$ wtedy i tylko

wtedy, gdy częściowy porządek redukuje się do równości.

Prawda

Fałsz

+

Topologia Scotta na posecie posiadającym element

najmniejszy jest zwarta.

Prawda

Fałsz

+

Topologia Scotta na dowolnej dziedzinie ciągłej jest

realna.

Prawda

Fałsz

-

Topologia Scotta na dowolnym dcpo jest realna.

Prawda

Fałsz

+

Funkcja ciągła w sensie Scotta jest monotoniczna.

Prawda

Fałsz

-

Każda funkcja ciągła w sensie Scotta na dowolnym posecie posiada punkt stały.

Prawda

Fałsz

-

Każda funkcja ciągła w sensie Scotta na posecie

posiadającym element najmniejszy posiada punkt stały.

Prawda

Fałsz

+

Każda funkcja ciągła w sensie Scotta na dcpo

posiadającym element najmniejszy posiada najmniejszy punkt stały.

Prawda

Fałsz

+

Każda funkcja monotoniczna na dcpo

posiadającym element najmniejszy posiada punkt stały.

Prawda

Fałsz

+

Porządek specjalizacji topologii Scotta na dziedzinie

ciągłej pokrywa się z porządkiem tejże dziedziny.

Prawda

Fałsz

+

Funkcje ciągłe w sensie Scotta zachowują suprema zbiorów

skierowanych.

Pyt.13

Prawda

Fałsz

-

LISP jest językiem imperatywnym.

Prawda

Fałsz

+

FORTRAN jest językiem imperatywnym.

Prawda

Fałsz

+

$\mathbf{𝐃}\mathbf{𝐜}\mathbf{𝐩}\mathbf{𝐨}$ jest kategorią zupełną i kartezjańsko

zamkniętą.

Prawda

Fałsz

-

Kategoria dziedzin ciągłych i funkcji ciągłych w sensie

Scotta jest zupełna.

Prawda

Fałsz

-

Kategoria dziedzin ciągłych i funkcji ciągłych w sensie

Scotta jest kartezjańsko zamknięta.

Prawda

Fałsz

-

Kategoria dziedzin algebraicznych i funkcji ciągłych w sensie

Scotta jest kartezjańsko zamknięta.

Prawda

Fałsz

-

Jeśli $D$ jest dziedziną ciągłą i $E$ jest dziedziną

bc-zupełną, to $[D,E]$ jest dziedziną bc-zupełną.

Prawda

Fałsz

+

Jeśli $D$ jest dziedziną ciągłą i $E$ jest dziedziną

bc-zupełną, to $[D,E]$ jest dcpo.

Prawda

Fałsz

+

Operator $\mathrm{f}\mathrm{i}\mathrm{x}:[P,P]\to P$ 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.

Prawda

Fałsz

+

Operator $\mathrm{f}\mathrm{i}\mathrm{x}:[P,P]\to P$ 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.

Prawda

Fałsz

+

Pętle $\mathtt{w}\mathtt{h}\mathtt{i}\mathtt{l}\mathtt{e}$ w semantyce denotacyjnej

modelujemy używając operatora punktu stałego.

Pyt.14

Prawda

Fałsz

+

${\mathbf{𝐃}\mathbf{𝐜}\mathbf{𝐩}\mathbf{𝐨}}_{\mathrm{\perp }}^{EP}$ jest $\omega$-kategorią.

Prawda

Fałsz

+

$\mathbf{𝐃}\mathbf{𝐜}\mathbf{𝐩}\mathbf{𝐨}$ jest $\omega$-kategorią.

Prawda

Fałsz

+

$\mathbf{𝐒}\mathbf{𝐞}\mathbf{𝐭}$ jest $\omega$-kategorią.

Prawda

Fałsz

-

Funktor między kategoriami dziedzin jest ciągły, jeśli

jest funkcją ciągłą w sensie Scotta.

Prawda

Fałsz

-

W $\mathbf{𝐒}\mathbf{𝐞}\mathbf{𝐭}$ równanie $D\cong [D,D]$ dla $D\in {\mathbf{𝐒}\mathbf{𝐞}\mathbf{𝐭}}_0$ nie ma żadnego

rozwiązania.

Prawda

Fałsz

+

W $\mathrm{D}\mathrm{c}\mathrm{p}\mathrm{o}$ istnieje nieskończenie wiele rozwiązań

równania $D\cong [D,D]$.

Prawda

Fałsz

-

Istnienie kategorii, w której rekursywne równania typu $D\cong [D,D]$

mają rozwiązania, jest wykorzystywane w semantyce operacyjnej nietypowanego rachunku lambda.

Prawda

Fałsz

+

Istnienie kategorii, w której rekursywne równania typu $D\cong [D,D]$

mają rozwiązania, jest wykorzystywane w semantyce denotacyjnej nietypowanego rachunku lambda.

Prawda

Fałsz

+

Przekątna $\mathrm{\Delta }:\mathbf{𝐃}\mathbf{𝐜}\mathbf{𝐩}\mathbf{𝐨}\to \mathbf{𝐃}\mathbf{𝐜}\mathbf{𝐩}\mathbf{𝐨}\times \mathbf{𝐃}\mathbf{𝐜}\mathbf{𝐩}\mathbf{𝐨}$ jest funktorem

ciągłym i lokalnie ciągłym.

Prawda

Fałsz

+

$\mathbf{𝐃}\mathbf{𝐜}\mathbf{𝐩}\mathbf{𝐨}$ jest kategorią zupełną i kozupełną.

Prawda

Fałsz

-

Każdy endomorfizm w $\mathbf{𝐃}\mathbf{𝐜}\mathbf{𝐩}\mathbf{𝐨}$ posiada najmniejszy

punkt stały.

Prawda

Fałsz

-

Dowolny endofunktor na $\omega$-kategorii posiada punkt

stały.

Prawda

Fałsz

+

Każdy ciągłe endofunktor na $\omega$-kategorii posiada

punkt stały.

Prawda

Fałsz

-

W $\mathbf{𝐒}\mathbf{𝐞}\mathbf{𝐭}$ istnieją nietrywialne rozwiązania

rówania $X\cong X+X$.

Prawda

Fałsz

-

Liczby naturalne $\omega$ są rozwiązaniem równania

$X\cong \mathbf{𝟏}\oplus X$ w kategorii $\mathbf{𝐃}\mathbf{𝐜}\mathbf{𝐩}\mathbf{𝐨}$.

Prawda

Fałsz

-

Liczby naturalne $\omega$ są rozwiązaniem równania

$X\cong X_{\mathrm{\perp }}$ w katetgorii $\mathbf{𝐃}\mathbf{𝐜}\mathbf{𝐩}\mathbf{𝐨}$.

Prawda

Fałsz

-

Leniwe liczby naturalne są rozwiązaniem równania $X\cong X\oplus X$ w kategorii $\mathbf{𝐃}\mathbf{𝐜}\mathbf{𝐩}\mathbf{𝐨}$.

Prawda

Fałsz

+

Podzbiory liczb naturanych ${𝒫}\omega$

uporządkowane względem inkluzji spełniają rówanie ${𝒫}\omega \cong [{𝒫}\omega ,{𝒫}\omega ]$ w kategorii $\mathbf{𝐃}\mathbf{𝐜}\mathbf{𝐩}\mathbf{𝐨}$.

Prawda

Fałsz

+

Model zbioru Cantora ${\mathrm{\Sigma }}^{\mathrm{\infty }}$ jest rozwiązaniem

pewnego rekursywnego równania w kategorii $\mathbf{𝐃}\mathbf{𝐜}\mathbf{𝐩}\mathbf{𝐨}$.

Pyt.15

Prawda

Fałsz

-

Koalgebrą funktora $T:\mathbf{𝐒}\mathbf{𝐞}\mathbf{𝐭}\to \mathbf{𝐒}\mathbf{𝐞}\mathbf{𝐭}$

jest każda para $(X,a:TX\to X)$.

Prawda

Fałsz

+

Algebry początkowe endofunktorów w $\mathbf{𝐒}\mathbf{𝐞}\mathbf{𝐭}$ są

jedyne z dokładnością do izomrfizmu.

Prawda

Fałsz

+

Istnieje kategoria, w której para

$(\mathbb{\mathbb{N}},[0,s]:\mathbf{𝟏}+\mathbb{\mathbb{N}}\to \mathbb{\mathbb{N}})$ jest obiektem końcowym.

Prawda

Fałsz

+

Nieskończone listy nad alfabetem $A$ są koalgebrą końcową

pewnego endofunktora na $\mathbf{𝐒}\mathbf{𝐞}\mathbf{𝐭}$.

Prawda

Fałsz

-

Nieskończone listy nad alfabetem $A$ są koalgebrą

początkową pewnego endofunktora na $\mathbf{𝐒}\mathbf{𝐞}\mathbf{𝐭}$.

Prawda

Fałsz

-

Każda bisymulacja jest bipodobieństwem, ale nie

odwrotnie.

Prawda

Fałsz

-

Dwie nieskończone listy będące w relacji bisymulacji

muszą być sobie równe.

Prawda

Fałsz

+

Dwie bipodobne nieskończone listy są sobie równe.

Prawda

Fałsz

-

Istnieje bipodobieństwo, które nie jest bisymulacją.

Prawda

Fałsz

+

Koindukcja jest metodą dowodzenia własności list

nieskończonych.

Prawda

Fałsz

-

Metoda dowodzenia przez koindukcję opiera się na

własności uniwersalnej algebr początkowych endofunktorów w $\mathbf{𝐒}\mathbf{𝐞}\mathbf{𝐭}$.

Prawda

Fałsz

-

Relacja odwrotna do bisymulacji jest bipodobieństwem.

Prawda

Fałsz

-

$T$-koalgebry dla ustalonego funktora $T:\mathbf{𝐒}\mathbf{𝐞}\mathbf{𝐭}\to \mathbf{𝐒}\mathbf{𝐞}\mathbf{𝐭}$ wraz z homomorfizmami

tworzą kategorię małą.

Prawda

Fałsz

-

Graf homomorfizmu dwóch dowolnych koalgebr jest

bipodobieństwem.

Prawda

Fałsz

+

Graf homomorfizmu dwóch dowolnych koalgebr jest

bisymulacją.

Prawda

Fałsz

+

Istnieją endofunktory w $\mathbf{𝐒}\mathbf{𝐞}\mathbf{𝐭}$, dla których

kategoria algebr nie posiada obiektu początkowego.

Prawda

Fałsz

-

Dla każdego endofunktora $T$ w $\mathbf{𝐒}\mathbf{𝐞}\mathbf{𝐭}$ kategoria

$T$-koalgebr posiada obiekt końcowy.

Prawda

Fałsz

+

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 $\mathbf{𝟏}+(-)$ w $\mathbf{𝐒}\mathbf{𝐞}\mathbf{𝐭}$.

Prawda

Fałsz

+

Każda $T$-algebra początkowa jest izomorfizmem.

Prawda

Fałsz

+

Każda $T$-koalgebra końcowa jest izomorfizmem.

Prawda

Fałsz