return to batkizc
Category theory is a universal modeling language http://math.mit.edu/~dspivak/informatics/