Monády a adjunkce: faktorizace přes Kleisliho a Eilenberg-Moore

Monády a adjunkce: faktorizace prostřednictvím Kleisliho a Eilenberg-Mooreova adjunkce

Monáda v kategorii může být vyjádřena jako kompozice adjungovaných funktorů procházejících prostřední kategorií. Tento přístup odhaluje vnitřní strukturu monády a umožňuje její analýzu prostřednictvím dvou extrémních adjunkcí: počáteční Kleisliho adjunkce a terminální Eilenberg-Mooreovy adjunkce. Každá z nich ukazuje jedinečný způsob organizace informací, které byly funktory ztraceny nebo obnoveny.

Zapomínající a volné funktory

Adjunkce funktorů se často popisuje podle jejich rolí: pravý adjungovaný funktor je obvykle "zapomínající", zatímco levý je "volný". Zapomínající funktor ztrácí část struktury původní kategorie, redukuje různé objekty na jeden. Volný funktor, adjungovaný vlevo k němu, se snaží obnovit co největší možnou informaci a vytvořit "nejobecnější" objekt v prostřední kategorii.

Příklad s monoidy ilustruje tento princip: zapomínající funktor U zobrazuje kategorii monoidů Mon(Set) do kategorie množin Set, přičemž smaže operaci násobení a asociativní zákony. Volný funktor F je adjungován k U vlevo a pro každou množinu a konstruuje volný monoid Fa — strukturu s maximálně obecnou binární operací, která umožňuje získat jakýkoli jiný monoid prostřednictvím morfismů.

Role funktorů nejsou striktní matematické definice, ale pomáhají pochopit, jak adjunkce organizuje informace:

• Pravý adjungovaný funktor zapomíná rozdíly, redukuje objekty.
• Levý adjungovaný funktor volně obnovuje strukturu, vytváří nejobecnější objekty.

Kategorie adjunkcí monády

Pro monádu T endofunktoru lze sestrojit kategorii Adj_T, jejímiž objekty jsou všechny možné adjunkce (D, F, U), které generují T = U∘F. Morfismy mezi adjunkcemi jsou funktory K: D → D', splňující podmínky K∘F = F' a U'∘K = U.

Tato kategorie obsahuje veškerou informaci o možných realizacích monády T. Klíčový výsledek: v Adj_T existují počáteční a terminální objekty, které reprezentují dva extrémní způsoby faktorizace monády.

Kleisliho adjunkce

Kleisliho adjunkce je počátečním objektem v kategorii Adj_T. Prostřední kategorie tohoto adjunkce je kategorie volných T-algeber. Objekty zde jsou jednoduše objekty původní kategorie C, ale morfismy jsou organizovány prostřednictvím operace monády.

Funktor F Kleisliho adjunkce posílá objekt a do volné T-algebry (Ta, μ_a), kde μ_a je násobení monády. Zapomínající funktor U jednoduše vrátí objekt algebry do původní kategorie, zapomínaje na strukturu násobení.

Hlavní charakteristiky Kleisliho adjunkce:

• Prostřední kategorie má minimální strukturu, objekty odpovídají objektům C.
• Morfismy odrážejí působení monády prostřednictvím její operace.
• Tato adjunkce je maximálně "volná", nepřidává žádné další omezení.

Eilenberg-Mooreova adjunkce

Eilenberg-Mooreova adjunkce je terminálním objektem v Adj_T. Její prostřední kategorie je kategorie všech T-algeber, kde objekty jsou dvojice (a, h: Ta → a), splňující axiomy algebry.

Funktor F sem posílá objekt a do volné algebry (Ta, μ_a), stejně jako v Kleisliho adjunkci. Zapomínající funktor U však nyní zobrazuje algebru (a, h) jednoduše na objekt a, zapomínaje nejen na strukturu násobení, ale i na konkrétní morfismus h.

Eilenberg-Mooreova adjunkce reprezentuje maximálně "zapomínající" přístup:

• Prostřední kategorie obsahuje všechny možné algebry, bohatá struktura.
• Zapomínající funktor ztrácí více informací, redukuje algebry na jejich základní objekty.
• Tato adjunkce ukazuje, jak může být monáda vyjádřena prostřednictvím úplné kategorie jejích algeber.

Přepínání adjunkcí

Morfismy v kategorii Adj_T umožňují přechod mezi různými adjunkcemi. Funktor K: D → D', splňující podmínky adjunkce, skutečně převádí jedno vyjádření monády na jiné.

Přechod od Kleisliho adjunkce ke Eilenberg-Mooreově adjunkci probíhá prostřednictvím funktoru, který posílá volné algebry do kategorie všech algeber. Tento funktor zachovává strukturu, ale rozšiřuje kontext.

Klíčové body přepínání:

• Každá adjunkce generující monádu T lze propojit s Kleisliho a Eilenberg-Mooreovou adjunkcí prostřednictvím morfismů v Adj_T.
• Přechody odrážejí různé úrovně "zapomínání" a "obnovy" struktury.
• To umožňuje analýzu monády prostřednictvím spektra jejích možných realizací.

Příklad: monáda Option

Uvažujme monádu Option v kontextu filtrování. Operace monády Option může být vyjádřena prostřednictvím Kleisliho adjunkce, kde prostřední kategorie se skládá z objektů s možností "chybějící hodnoty".

V Eilenberg-Mooreově adjunkci jsou Option-algebry objekty s operací h: Option a → a, která "rozřeší" chybějící hodnotu, vrátí konkrétní prvek nebo provede alternativní logiku.

Srovnání obou přístupů pro Option:

• Kleisliho adjunkce se zaměřuje na samotnou operaci monády, struktura je minimální.
• Eilenberg-Mooreova adjunkce bere v úvahu všechny možné způsoby zpracování chybějící hodnoty prostřednictvím algeber.
• Přechod mezi adjunkcemi ukazuje, jak abstraktní operace monády konkrétizuje prostřednictvím různých realizací zpracování.

Co je důležité

• Monáda může být faktorizována prostřednictvím adjungovaných funktorů procházejících prostřední kategorií.
• Kategorie všech adjunkcí generujících danou monádu má počáteční a terminální objekty — Kleisliho a Eilenberg-Mooreovu adjunkci.
• Kleisliho adjunkce reprezentuje maximálně volný přístup, minimální prostřední struktura.
• Eilenberg-Mooreova adjunkce demonstruje maximálně zapomínající přístup, bohatá kategorie algeber.
• Přechody mezi adjunkcemi prostřednictvím morfismů v Adj_T odhalují spektrum možných realizací monády.

— Editorial Team