Toto je starší verze dokumentu!


Slidy z r. 2009/10

  1. Úvod do teorie kategorií, Kleisliho kategorie a monády - bez slidů, viz. literatura níže.
  2. Úvod do závislých typů - bez slidů, viz. literatura níže.

Prosím napište mi, pokud byste narazili na nějakou chybu či nesrovnalost. Také uvítám případné vaše náměty na to, čemu bychom se v přednášce mohli věnovat.

Poslední úprava: 2011/10/27 14:27