Michael W. Fleming Ryan Gunther Robert D. Rosebrugh A database of categories. 127-135 2003 35 J. Symb. Comput. 2 http://dx.doi.org/10.1016/S0747-7171(02)00104-9 db/journals/jsc/jsc35.html#FlemingGR03