Záložky osoby: Mgr. Matej Kollár, učo 208115 se štítkem: PříF:M7150
Související štítky
Záložky osoby: Mgr. Matej Kollár, učo 208115 se štítkem: PříF:M7150
- The Category of Matrices I 1 osoba, první 10. 5. 2015, Matej Kollár, záložky, lidé
- What does Yoneda’s Lemma mean? 2 osoby, první 10. 5. 2015, Matej Kollár, záložky, lidé
- One of the most abstract fields in math finds application in the 'real' world 1 osoba, první 10. 5. 2015, Matej Kollár, záložky, lidé
- Introduction to Category Theory 1 osoba, první 10. 5. 2015, Matej Kollár, záložky, lidé
- Category Theory Demonstrations 1 osoba, první 10. 5. 2015, Matej Kollár, záložky, lidé
- Category Theory and Functional Programming
Background material for the Fall 2009 lecture course MATH198[1] on Category Theory and Functional Programming that I gave at Stanford University.
2 osoby, první 17. 2. 2011, Tomáš Szaniszlo, záložky, lidé - Homotopy Type Theory: Univalent Foundations of Mathematics 1 osoba, první 10. 5. 2015, Matej Kollár, záložky, lidé
- Abstract and Concrete Categories 1 osoba, první 10. 5. 2015, Matej Kollár, záložky, lidé
- Advanced Topics in Programming Languages (Homotopy type theory) 2 osoby, první 8. 3. 2015, Juraj Major, záložky, lidé
Děkujeme del.icio.us za inspiraci.