Corresponding to a right translation \(\rho _u\)  from \(S\)  to \(Su\) , we get morphisms from each of the principal left ideals of \(S\)  to \(Su\)  by restricting the \(\rho _u\) . This phenomena is similar to the concept of cones in the category theory[1]}. Now we define normal cones and normal categories.
