The Fundamental Groupoid as a Crossed Module in the Category of Local Groups

Abstract

In this paper we define the notion of crossed module in the category of local groups and we prove that if L is a local topological group whose underlying topology has a simply connected cover, then the fundamental groupoid has a crossed module structure in the category of local groups.

Key Words: crossed module, local topological group, local group-groupoid