Tämä tyyppiä math oleva kuva pitäisi luoda uudelleen SVG-tiedostoksi vektorigrafiikan avulla. Tällä tiedostotyypillä on monia vahvuuksia, sivulta Commons:Media for cleanup löytyy lisätietoja. Jos tästä kuvasta on jo olemassa SVG-versio, ole ystävällinen ja tallenna se tänne. SVG-tiedoston tallentamisen jälkeen vaihda tämä malline mallineeseen {{vector version available|uusi kuvan nimi.svg}}.

Yhteenveto

Proof of Yoneda's lemma in category theory.

Lisenssi

Minä, tämän teoksen tekijänoikeudellinen omistaja, julkaisen tämän teoksen public domainiin eli luovun kaikista tekijänoikeuksista lain sallimissa puitteissa. Tämä on voimassa maailmanlaajuisesti. Joissain maissa laki ei mahdollista tätä. Mikäli näin on: Myönnän kenelle tahansa oikeuden käyttää tätä teosta mihin tahansa tarkoitukseen, ilman mitään ehtoja, ellei laki vaadi ehtojen asettamista.

TeX source

\begin{diagram}[tight]
\Hom(A,A) & & \rTo^{\Hom(A,f)} & & \Hom(A,X) \\
 & \scriptstyle\id_A & \rMapsTo & \scriptstyle f & \\
\dTo<{\Phi_A} & \dMapsTo  & & \dMapsTo & \dTo>{\Phi_X} \\
 & \scriptstyle u & \rMapsTo & \scriptstyle (Ff)u = \Phi_X(f) & \\
F(A) & & \rTo_{Ff} & & F(X) \\
\end{diagram}