Links for category-theory-for-programmers