Tagged Questions

5
votes
1answer
153 views

How to center twocell arrows

I'm using 2cell (as in this previous question of mine: Natural transformation arrow ). I'd like to know how to center not just the twocell double arrow, but arrow with its name too. A picture is ...