File talk:Trace diagram dinaturality.svg

This picture should contain the symbol U'. The morphism $g:U'\to U$, as mentioned in the article text, is here mistakenly drawn as a morphism $U\to U$.