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$$.