Higher-dimensional algebra V: 2-groups, available as math-QA/0307200 (2008)
Abstract. A 2-group is a `categorified ' version of a group, in which the underlying set G has been replaced by a category and the multiplication map m: G * G! G has beenreplaced by a functor....
Higher-dimensional algebra V: 2-groups, available as math-QA/0307200 (2008)
Abstract. A 2-group is a ‘categorified ’ version of a group, in which the underlying set G has been replaced by a category and the multiplication map m: G × G → G has been replaced by a...