Category Theory for Programmers External resources Here it is an interesting course on Applied Category Theory held by John Baez (not the singer, but her cousin :P)