Higher-dimensional algebra. V: 2-Groups. Baez, John C., Lauda, Aaron D. (2004) Theory and Applications of Categories [electronic only]