Higher dimensional algebra. VII: Groupoidification. Baez, John C., Hoffnung, Alexander E., Walker, Christopher D. (2010) Theory and Applications of Categories [electronic only]