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.

Created on September 28, 2009 20:31:38
by Ronnie Brown
(86.148.244.217)