Fri Sep 2 19:12:51 EDT 2016

Category Theory lectures - Bartosz Milewski

1.1 https://www.youtube.com/watch?v=I8LbkfSSR58

Compares Kmett's way of generating librarys from CT to C++ TMP
deriving from functional programming ideas: implementation in one
language (concrete) derived from ideas in the higher level
mathematical structure.

1.2 https://www.youtube.com/watch?v=p54Hd7AmVFU

Everything about a category is encoded in the composition table of the

2.1 https://www.youtube.com/watch?v=O2lZkr-aAqk

2.2 https://www.youtube.com/watch?v=NcT7CGPICzo