Covering morphisms of crossed complexes and of cubical omega-groupoids with connection are closed under tensor product

Ronald Brown, Ross Street

The aim is the theorems of the title and the corollary that the tensor product of two free crossed resolutions of groups or groupoids is also a free crossed resolution of the produ…