Strict 2-Groups are Crossed Modules

Abstract

The 2-categories of strict 2-groups and crossed modules are introduced and their 2-equivalence is made explicit.