Fórum Root.cz

Ostatní => /dev/null => Téma založeno: Neználek 15. 01. 2020, 09:16:44

Název: Kurz Teorie kategorií na MIT právě teď
Přispěvatel: Neználek 15. 01. 2020, 09:16:44
Právě na MIT běží kurz Programming with Categories (celý leden, každý všední den přednáška), jsou k dispozici nahrávky a studijní materiály. Každou chvíli je tu TK zmiňovaná, tak by to třeba někoho mohlo zajímat.

http://brendanfong.com/programmingcats.html

Sleduju to a zatím je to nejsrozumitelnější materiál, s jakým jsem se setkal. Hlavně oceňuju dostatek příkladů a důraz na názornost místo formalismu.
Název: Re:Kurz Teorie kategorií na MIT právě teď
Přispěvatel: Petr Krčmář 15. 01. 2020, 10:02:48
Díky za info, jen to nepatří do fóra, ale do zpráviček. Prosím, udělej z toho zprávičku pomocí formuláře. Výhoda je, že to tam uvidí víc lidí:

https://www.root.cz/zpravicky/pridat/
Název: Re:Kurz Teorie kategorií na MIT právě teď
Přispěvatel: Idris 15. 01. 2020, 10:11:17
Záslužný počin. Doprovodný text je poměrně podrobný, byť nejde moc do hloubky.