Computational category theory - Rydeheard, D.E. (2009)