Category Theory and FP

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.

http://cs.stackexchange.com/questions/3028/is-category-theory-useful-for-learning-functional-programming?answertab=votes#tab-top