Classification of dicoverings

The dicoverings of a “well pointed” d-space are classified as quotients of the universal dicovering space under congruence relations. We prove that the subcategory of d-spaces generated by the subcategory of directed cubes is equal to the category generated by the interval and the directed interval. Similarly, the category of topological spaces generated by simplices may be generated by the interval.