File talk:Trace diagram dinaturality.svg

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