Na MIT právě běží kurs teorie kategorií, volně přístupný včetně videí a textových materiálů. Jedním ze spoluautorů je i u nás známý fyzik Bartosz Milewski.
Teorie kategorií je poměrně nová, ale vysoce praktická disciplína matematiky zkoumající struktury společné různým matematickým odvětvím od topologie přes logiku po algoritmizaci. Je na ní založeno funkcionální programování, zejména Haskell.
ČLÁNKY DO MAILU