Globular 3-cells and higher diagrams in xypic
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
add a comment |
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
add a comment |
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
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
diagrams xy-pic
edited 18 mins ago
Alec Rhea
asked 55 mins ago
Alec RheaAlec Rhea
1205
1205
add a comment |
add a comment |
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
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
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.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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