A note on internal object action representability of 1-cat groups and crossed modules

Pako Ramasu

The category of 1-cat groups, which is equivalent to the category of crossed modules, has internal object actions which are representable (by internal automorphism groups). Moreover, it is known that the crossed module, corresponding to the representing object [X] = Aut(X) $ associated with a 1-cat group X, must be isomorphic to the Norrie actor of the crossed module corresponding to X. We recall the description of Aut(X) from the author's PhD thesis, and construct that isomorphism explicitly.

Keywords: crossed module, action of an object, $ 1 $-cat group, internal automorphism, actor

2010 MSC: 18G55, 18D15, 18D05, 20L05

Theory and Applications of Categories, Vol. 34, 2019, No. 36, pp 1165-1178.

Published 2019-10-30.


TAC Home