A cubical group is a group object in the category of cubical sets.

Unlike in the category of simplicial sets, a cubical group need not be a fibrant cubical set. However a group object in the category of cubical sets with connections is a fibrant cubical set.

Reference

Tonks, A.P., Cubical groups which are Kan, J. Pure Appl. Algebra, 81 (1992) 83–87.

Last revised on November 4, 2018 at 06:19:32.
See the history of this page for a list of all contributions to it.