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