4th International Conference of Mathematical Sciences (ICMS), ELECTR NETWORK, 17 - 21 June 2020, vol.2334, (Full Text)
In this paper we define the notion of local crossed module for local groups and prove that these are categorically equivalent to local group-groupoids.