ymetapost/examples/natural-transformation.mp
Yann Esposito (Yogsototh) ef91426863 initial commit
2013-10-01 13:17:56 +02:00

21 lines
365 B
Text

z0=(0,0);
z1=(gu,0);
z2=(0,-gu);
z3=(gu,-gu);
path ac,ab;
label(btex $F X$ etex,z0);
label(btex $F Y$ etex,z1);
label(btex $G X$ etex,z2);
label(btex $G Y$ etex,z3);
drawEdge(z0,z1,"F f");
drawEdge(z2,z3,"G f");
ab:=edge(z0,z2);
drawarrow ab;
label.lft(btex $\eta_X$ etex,midpoint(ab));
ac:=edge(z1,z3);
drawarrow ac;
label.rt(btex $\eta_Y$ etex,midpoint(ac));