Video feed

Category Theory

Subscribe:.rss.atom.json.md

Dormant Last read 11 days ago · last published 10 years ago · next check scheduled
Read 11 days ago and current, but nothing has been published for 10 years.

Latest videos

Category Theory 8.1: Function objects, exponentials

Oct 13, 2016 · Bartosz Milewski

▶Play

+Watch later

+Read later

Category Theory 7.2: Monoidal Categories, Functoriality of ADTs, Profunctors

Oct 11, 2016 · Bartosz Milewski

▶Play

+Watch later

+Read later

Category Theory 7.1: Functoriality, bifunctors

Oct 6, 2016 · Bartosz Milewski

▶Play

+Watch later

+Read later

Category Theory 6.2: Functors in programming

Oct 4, 2016 · Bartosz Milewski

▶Play

+Watch later

+Read later

Category Theory 6.1: Functors

Sep 29, 2016 · Bartosz Milewski

▶Play

+Watch later

+Read later

Category Theory 5.2: Algebraic data types

Sep 23, 2016 · Bartosz Milewski

▶Play

+Watch later

+Read later

Category Theory 5.1: Coproducts, sum types

Sep 22, 2016 · Bartosz Milewski

▶Play

+Watch later

+Read later

Category Theory 4.2: Products

Sep 16, 2016 · Bartosz Milewski

▶Play

+Watch later

+Read later

Category Theory 4.1: Terminal and initial objects

Sep 15, 2016 · Bartosz Milewski

▶Play

+Watch later

+Read later

Category Theory 3.2: Kleisli category

Sep 12, 2016 · Bartosz Milewski

▶Play

+Watch later

+Read later