Questions tagged [internalization]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
6
votes
3answers
574 views

strict 2-groups VS crossed modules

nLab defines a strict 2-groups in many different but equivalent ways, among them: an internal group object in Cat, an internal group object in Grpd Also, it is known that strict 2-groups may be ...