Základy teórie kategórií pre informatikov

Recenzie čitateľov

Celkovo sa kniha považuje za dobrý úvod do teórie kategórií, najmä pre informatikov, so stručným vysvetlením a množstvom príkladov. Niektorí čitatelia však považovali niektoré kapitoly za ťažko zrozumiteľné a existujú obavy o kvalitu vydania pre Kindle.

⬤ Poskytuje dobrý prehľad teórie kategórií, najmä pre tých, ktorí sa zaoberajú informatikou.
⬤ Stručný a jasný štýl písania, vďaka ktorému je materiál prístupný.
⬤ Obsahuje užitočné príklady a cvičenia.
⬤ Dobré pre referencie a praktické aplikácie teórie kategórií.
⬤ Pozitívna spätná väzba na pedagogický prístup a organizáciu.

⬤ Niektoré kapitoly boli považované za zle napísané alebo mätúce, najmä v pokročilých aplikáciách (napr. lambda kalkul).
⬤ Vysoká cena knihy.
⬤ Kvalita vydania pre Kindle je zlá, opisuje sa ako hanba.
⬤ Chýba pokrytie niektorých pokročilých tém, napríklad monád, ktoré niektorí čitatelia považovali za nevyhnutné.

(na základe 19 čitateľských recenzií)

Pôvodný názov:

Basic Category Theory for Computer Scientists

Obsah knihy:

Základná teória kategórií pre informatikov poskytuje prehľadnú prezentáciu základných konštrukcií a terminológie teórie kategórií, vrátane limitov, funktorov, prirodzených transformácií, priradení a karteziánskych uzavretých kategórií.

Teória kategórií je odvetvie čistej matematiky, ktoré sa stáva čoraz dôležitejším nástrojom v teoretickej informatike, najmä v sémantike programovacích jazykov, teórii domén a súbežnosti, kde je už štandardným jazykom diskurzu. Kniha Basic Category Theory for Computer Scientists (Základy teórie kategórií pre informatikov) poskytuje jednoduchú prezentáciu základných konštrukcií a terminológie teórie kategórií vrátane limitov, funktorov, prirodzených transformácií, adjunktov a karteziánskych uzavretých kategórií. Štyri prípadové štúdie ilustrujú aplikácie teórie kategórií na návrh programovacích jazykov, sémantiku a riešenie rekurzívnych doménových rovníc. Stručný prehľad literatúry ponúka návrhy na ďalšie štúdium v pokročilejších textoch.

Obsah

Učebnica - Aplikácie - Ďalšie čítanie.