internal_commutative_monoids,internal_commutative_monoids_label,parent,parent_label
DGCAlg,DGCAlg,Ch.(Vect_k),Ch.(Vect_k)