category-theory Source code used in the talk "Category Theory is not only for Mathematicians". The talk can be found online here, whereas the slides are here.