https://github.com/George66/Textbook
https://habrahabr.ru/company/cit/blog/313254/
https://habrahabr.ru/post/305018/
http://www.logicmatters.net/tyl/ Logic
http://techblog.realestate.com.au/how-we-used-category-theory-to-solve-a-problem-in-java/
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.211.4754&rep=rep1&type=pdf
http://www.logicmatters.net/category/category-theory/
https://news.ycombinator.com/item?id=9099820
http://www.cs.nott.ac.uk/~gmh/cat.html
https://news.ycombinator.com/item?id=8833923
http://bartoszmilewski.com/category/category-theory/
http://habrahabr.ru/post/245797/
https://news.ycombinator.com/item?id=8736371
http://ncatlab.org:8080/nlab/show/category+theory
https://www.youtube.com/watch?v=o6L6XeNdd_k
https://news.ycombinator.com/item?id=8732331
http://www.cs.toronto.edu/~sme/presentations/cat101.pdf
http://www.ploscompbiol.org/article/info%3Adoi%2F10.1371%2Fjournal.pcbi.1000858#pcbi-1000858-t002
http://reperiendi.wordpress.com/2007/11/03/category-theory-for-the-java-programmer/
http://www.cs.le.ac.uk/people/akurz/books.html
http://www.andrew.cmu.edu/course/80-413-713/
http://channel9.msdn.com/Series/C9-Lectures-Erik-Meijer-Functional-Programming-Fundamentals