The foundation of (Modern) Math thus far is based on Set, although Grothendieck had suggested to rewrite the whole Bourbaki Books based on Category, but rejected by André Weil.
All Computer Languages are based on Types.
Category Theory <=> Type Theory.
Demis Hassabis, grown up in Singapore as a Funan-center IT mall game kid from a Chinese Singaporean teacher mom, and a British Greek dad, founded DeepMind in 2010 to develop AlphaGo game software.
Difference between Deepblue (Chess) and AlphaGo (Go): the former is pre-programmed rules, the later is machine learning thru raw data feed.
E22: TensorFlow
https://www.college-de-france.fr/site/en-yann-lecun/course-2016-02-12-14h30.htm
Lisper 