Proposition 2.7 ([1]}) 
The composite \(^W\rightarrow ^U \xrightarrow{} ^W\)  is the identity map.
In particular, the image of the forgetful homomorphism \(^W \rightarrow ^U\)  is a direct summand of \(^U\) .

