Teoria kategorii dla informatyków/Test 11: Monady

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Każde sprzężenie indukuje monadę .

Prawda

Fałsz


Każde sprzężenie indukuje komonadę .

Prawda

Fałsz


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

Prawda

Fałsz


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

Prawda

Fałsz


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

Prawda

Fałsz


Funktor zapominania jest częścią sprzężenia, którego algebry monady indukowanej tworzą kategorię równoważną z .

Prawda

Fałsz


Funktor zapominania jest częścią sprzężenia, którego algebry monady indukowanej tworzą kategorię równoważną z .

Prawda

Fałsz


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

Prawda

Fałsz


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

Prawda

Fałsz


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

Prawda

Fałsz


Suma mnogościowa jest mnożeniem pewnej monady.

Prawda

Fałsz


Operacja dodawania nowego elementu najmniejszego do częściowego porządku indukuje monadę nad .

Prawda

Fałsz