Globular 3-cells and higher diagrams in xypic












1















Is there a nice/standardized way to format globular 3-cells in xypic the same way we can with 2-cells?





For 2-cells the command rtwocell generates the required arrows, and a modification that allows one to type rncell for natural numbers n would be incredible for writing category theory papers and nLab pages.



I found a page describing how to define globular 3-cells back in 2004, but xypic appears to have changed syntax signifigantly since then (or at least I am too green behind the ears to read the code there and translate it to something that works in my version of xypic). Can someone more knowledgable in LaTeX renovate these codes to work with modern xypic syntax?



Any strategy that generalizes to higher cells with arrows between arrows between arrows between... would be beautiful, but a solution for 3-cells is still greatly appreciated. Also please note that tikz solutions will be somewhat incomprehensible to me due to a lack of familiarity with the syntax, however if there is no xypic solution (and no kind samaritan willing to create one) and tikz has an elegant solution on hand I can learn some new syntax and use a tikz diagram.





After some thought I found the following solution



xymatrix{ & ddtwocell_Theta^{Theta'}{mathscr{M}} \ A ar@/^5.5pc/[rr]^F ar@/_5.5pc/[rr]_G & & B \ & }



which generates the diagram below





and it's relatively straightforward (but time consuming) to switch inner arrow directions and generalize further, but this still has uniform arrow types instead of increasing degrees of 'hollowness' as in the first diagram above, so a solution that can accommodate for this would be appreciated.










share|improve this question





























    1















    Is there a nice/standardized way to format globular 3-cells in xypic the same way we can with 2-cells?





    For 2-cells the command rtwocell generates the required arrows, and a modification that allows one to type rncell for natural numbers n would be incredible for writing category theory papers and nLab pages.



    I found a page describing how to define globular 3-cells back in 2004, but xypic appears to have changed syntax signifigantly since then (or at least I am too green behind the ears to read the code there and translate it to something that works in my version of xypic). Can someone more knowledgable in LaTeX renovate these codes to work with modern xypic syntax?



    Any strategy that generalizes to higher cells with arrows between arrows between arrows between... would be beautiful, but a solution for 3-cells is still greatly appreciated. Also please note that tikz solutions will be somewhat incomprehensible to me due to a lack of familiarity with the syntax, however if there is no xypic solution (and no kind samaritan willing to create one) and tikz has an elegant solution on hand I can learn some new syntax and use a tikz diagram.





    After some thought I found the following solution



    xymatrix{ & ddtwocell_Theta^{Theta'}{mathscr{M}} \ A ar@/^5.5pc/[rr]^F ar@/_5.5pc/[rr]_G & & B \ & }



    which generates the diagram below





    and it's relatively straightforward (but time consuming) to switch inner arrow directions and generalize further, but this still has uniform arrow types instead of increasing degrees of 'hollowness' as in the first diagram above, so a solution that can accommodate for this would be appreciated.










    share|improve this question



























      1












      1








      1








      Is there a nice/standardized way to format globular 3-cells in xypic the same way we can with 2-cells?





      For 2-cells the command rtwocell generates the required arrows, and a modification that allows one to type rncell for natural numbers n would be incredible for writing category theory papers and nLab pages.



      I found a page describing how to define globular 3-cells back in 2004, but xypic appears to have changed syntax signifigantly since then (or at least I am too green behind the ears to read the code there and translate it to something that works in my version of xypic). Can someone more knowledgable in LaTeX renovate these codes to work with modern xypic syntax?



      Any strategy that generalizes to higher cells with arrows between arrows between arrows between... would be beautiful, but a solution for 3-cells is still greatly appreciated. Also please note that tikz solutions will be somewhat incomprehensible to me due to a lack of familiarity with the syntax, however if there is no xypic solution (and no kind samaritan willing to create one) and tikz has an elegant solution on hand I can learn some new syntax and use a tikz diagram.





      After some thought I found the following solution



      xymatrix{ & ddtwocell_Theta^{Theta'}{mathscr{M}} \ A ar@/^5.5pc/[rr]^F ar@/_5.5pc/[rr]_G & & B \ & }



      which generates the diagram below





      and it's relatively straightforward (but time consuming) to switch inner arrow directions and generalize further, but this still has uniform arrow types instead of increasing degrees of 'hollowness' as in the first diagram above, so a solution that can accommodate for this would be appreciated.










      share|improve this question
















      Is there a nice/standardized way to format globular 3-cells in xypic the same way we can with 2-cells?





      For 2-cells the command rtwocell generates the required arrows, and a modification that allows one to type rncell for natural numbers n would be incredible for writing category theory papers and nLab pages.



      I found a page describing how to define globular 3-cells back in 2004, but xypic appears to have changed syntax signifigantly since then (or at least I am too green behind the ears to read the code there and translate it to something that works in my version of xypic). Can someone more knowledgable in LaTeX renovate these codes to work with modern xypic syntax?



      Any strategy that generalizes to higher cells with arrows between arrows between arrows between... would be beautiful, but a solution for 3-cells is still greatly appreciated. Also please note that tikz solutions will be somewhat incomprehensible to me due to a lack of familiarity with the syntax, however if there is no xypic solution (and no kind samaritan willing to create one) and tikz has an elegant solution on hand I can learn some new syntax and use a tikz diagram.





      After some thought I found the following solution



      xymatrix{ & ddtwocell_Theta^{Theta'}{mathscr{M}} \ A ar@/^5.5pc/[rr]^F ar@/_5.5pc/[rr]_G & & B \ & }



      which generates the diagram below





      and it's relatively straightforward (but time consuming) to switch inner arrow directions and generalize further, but this still has uniform arrow types instead of increasing degrees of 'hollowness' as in the first diagram above, so a solution that can accommodate for this would be appreciated.







      diagrams xy-pic






      share|improve this question















      share|improve this question













      share|improve this question




      share|improve this question








      edited 18 mins ago







      Alec Rhea

















      asked 55 mins ago









      Alec RheaAlec Rhea

      1205




      1205






















          0






          active

          oldest

          votes











          Your Answer








          StackExchange.ready(function() {
          var channelOptions = {
          tags: "".split(" "),
          id: "85"
          };
          initTagRenderer("".split(" "), "".split(" "), channelOptions);

          StackExchange.using("externalEditor", function() {
          // Have to fire editor after snippets, if snippets enabled
          if (StackExchange.settings.snippets.snippetsEnabled) {
          StackExchange.using("snippets", function() {
          createEditor();
          });
          }
          else {
          createEditor();
          }
          });

          function createEditor() {
          StackExchange.prepareEditor({
          heartbeatType: 'answer',
          autoActivateHeartbeat: false,
          convertImagesToLinks: false,
          noModals: true,
          showLowRepImageUploadWarning: true,
          reputationToPostImages: null,
          bindNavPrevention: true,
          postfix: "",
          imageUploader: {
          brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
          contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
          allowUrls: true
          },
          onDemand: true,
          discardSelector: ".discard-answer"
          ,immediatelyShowMarkdownHelp:true
          });


          }
          });














          draft saved

          draft discarded


















          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2ftex.stackexchange.com%2fquestions%2f477609%2fglobular-3-cells-and-higher-diagrams-in-xypic%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown

























          0






          active

          oldest

          votes








          0






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes
















          draft saved

          draft discarded




















































          Thanks for contributing an answer to TeX - LaTeX Stack Exchange!


          • Please be sure to answer the question. Provide details and share your research!

          But avoid



          • Asking for help, clarification, or responding to other answers.

          • Making statements based on opinion; back them up with references or personal experience.


          To learn more, see our tips on writing great answers.




          draft saved


          draft discarded














          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2ftex.stackexchange.com%2fquestions%2f477609%2fglobular-3-cells-and-higher-diagrams-in-xypic%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown





















































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown

































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown







          Popular posts from this blog

          Lallio

          Futebolista

          Jornalista