Abstract
We introduce the notion of Whitehead sequence which is defined for a base category together with a system of abstract actions over it. In the classical case of groups and group actions the Whitehead sequences are precisely the crossed modules of groups. For a general setting we give sufficient conditions for the existence of a categorical equivalence between internal groupoids and Whitehead sequences.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have