Teoria kategorii dla informatyków/Test 11: Monady
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