[Xy-pic] ugly 2-cells (was: à monsieur Kristoffer Høgsbro Rose)

Ross Moore ross at ics.mq.edu.au
Mon Jan 5 21:07:16 CET 2009

Hi Kris, Kamel, and others.

On 06/01/2009, at 5:13 AM, Kristoffer H Rose wrote:

> Dear Kamel,
> I have looked at the diagram [attached in forwarded message] and I  
> am not sure what you intend to fix, and how to fix it.
I think the idea is to make the curved (double) arrows look
like they go from one straight arrow to another.
(A 2-cell is a tranformation from one morphism into another.)
So all that is needed is to adjust the start-point and
end-point of such curved arrows. These positions should relate
to the labels on the straight arrows, but need not be the
exact \POSs defined as these are dropped.

Here is an example of how you can do this, making minimal
changes to the supplied coding (the 3rd in the original PDF):

  \ar[rr]^{\bigotimes\times 1_{\mathbb{E}}}\ar[d]_{1_{\mathbb{E}} 

The other examples can be adjusted similarly, using
Xy-pic kernel \POS operators to specify the end-points
of each arrow.

> If the issue is placing the labels inside instead of outside the  
> diagram then using ^ instead of _ in the right spot should do it.  
> Otherwise I am unsure what you want to change - maybe someone with  
> actual 2-cell experience can chime in?
> Happy New Year,
> Kris
> __
> Kristoffer H Rose, ph.d. <krisrose at us.ibm.com> +1(914)784-7642 (fax  
> -6324)
> IBM T.J.Watson Research Center, PO Box 704, Yorktown Heights, NY 10598

Hope this helps,


Ross Moore                                       ross at maths.mq.edu.au
Mathematics Department                           office: E7A-419
Macquarie University                             tel: +61 (0)2 9850 8955
Sydney, Australia  2109                          fax: +61 (0)2 9850 8114

More information about the xy-pic mailing list