Mapping arrows in commutative diagramsDrawing mapsto arrow in TikZTikz for Commutative DiagramsPositioning arrows in commutative diagrams using TikZ-cd (or otherwise)?Writing labels crossing over other arrows in commutative diagramsNumbering commutative diagramsFlipping an Arrow in a Cubical Diagram and Crossing OverDouble arrows in commutative diagramsParallel arrows in commutative diagram in TikzCommutative diagrams with very round arrows?Drawing rectangular commutative diagramsCommutative diagrams and arrows

Why do we use polarized capacitors?

Can I legally use front facing blue light in the UK?

Manga about a female worker who got dragged into another world together with this high school girl and she was just told she's not needed anymore

Is Social Media Science Fiction?

Is it wise to focus on putting odd beats on left when playing double bass drums?

Is there a familial term for apples and pears?

Is it legal to have the "// (c) 2019 John Smith" header in all files when there are hundreds of contributors?

Unbreakable Formation vs. Cry of the Carnarium

New order #4: World

Why doesn't a const reference extend the life of a temporary object passed via a function?

How to make payment on the internet without leaving a money trail?

What do you call something that goes against the spirit of the law, but is legal when interpreting the law to the letter?

Need help identifying/translating a plaque in Tangier, Morocco

Deciding between multiple birth names and dates?

Piano - What is the notation for a double stop where both notes in the double stop are different lengths?

Can a planet have a different gravitational pull depending on its location in orbit around its sun?

Re-submission of rejected manuscript without informing co-authors

Is there a way to make member function NOT callable from constructor?

What happens when a metallic dragon and a chromatic dragon mate?

Extreme, but not acceptable situation and I can't start the work tomorrow morning

"My colleague's body is amazing"

Denied boarding due to overcrowding, Sparpreis ticket. What are my rights?

How can I fix this gap between bookcases I made?

Why was the "bread communication" in the arena of Catching Fire left out in the movie?



Mapping arrows in commutative diagrams


Drawing mapsto arrow in TikZTikz for Commutative DiagramsPositioning arrows in commutative diagrams using TikZ-cd (or otherwise)?Writing labels crossing over other arrows in commutative diagramsNumbering commutative diagramsFlipping an Arrow in a Cubical Diagram and Crossing OverDouble arrows in commutative diagramsParallel arrows in commutative diagram in TikzCommutative diagrams with very round arrows?Drawing rectangular commutative diagramsCommutative diagrams and arrows













4















In making commutative diagrams in tikz-cd I've been wanting to add in 'mapping' arrows that describe what particular elements map to, parallel to the main diagram arrows.



I've been doing it in the following way, which seems fairly clumsy since the 'map' arrows are separated from the main diagram at a large distance, when ideally they would be close by and parallel to the corresponding maps. What would be a better way to do this?



documentclassarticle
usepackagetikz-cd

begindocument
begintikzcd
a arrow[r, maps to] & phi(a) & \
Rarrow[r, hook, "phi"] arrow[dr, hook, "iota"] & K & phi(k) \
a arrow[dr, maps to] & Q(R) arrow[u, dotted, "exists ! Phi"'] & fraca1 arrow[u, maps to] \
& fraca1 &
endtikzcd
enddocument









share|improve this question









New contributor




Merk Zockerborg is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.




















  • (1) welcome, (2) as always on this site please post a full minimal example instead of a sniplet. Then it is a lot easier to help, especially when we don't have to guess.

    – daleif
    7 hours ago















4















In making commutative diagrams in tikz-cd I've been wanting to add in 'mapping' arrows that describe what particular elements map to, parallel to the main diagram arrows.



I've been doing it in the following way, which seems fairly clumsy since the 'map' arrows are separated from the main diagram at a large distance, when ideally they would be close by and parallel to the corresponding maps. What would be a better way to do this?



documentclassarticle
usepackagetikz-cd

begindocument
begintikzcd
a arrow[r, maps to] & phi(a) & \
Rarrow[r, hook, "phi"] arrow[dr, hook, "iota"] & K & phi(k) \
a arrow[dr, maps to] & Q(R) arrow[u, dotted, "exists ! Phi"'] & fraca1 arrow[u, maps to] \
& fraca1 &
endtikzcd
enddocument









share|improve this question









New contributor




Merk Zockerborg is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.




















  • (1) welcome, (2) as always on this site please post a full minimal example instead of a sniplet. Then it is a lot easier to help, especially when we don't have to guess.

    – daleif
    7 hours ago













4












4








4








In making commutative diagrams in tikz-cd I've been wanting to add in 'mapping' arrows that describe what particular elements map to, parallel to the main diagram arrows.



I've been doing it in the following way, which seems fairly clumsy since the 'map' arrows are separated from the main diagram at a large distance, when ideally they would be close by and parallel to the corresponding maps. What would be a better way to do this?



documentclassarticle
usepackagetikz-cd

begindocument
begintikzcd
a arrow[r, maps to] & phi(a) & \
Rarrow[r, hook, "phi"] arrow[dr, hook, "iota"] & K & phi(k) \
a arrow[dr, maps to] & Q(R) arrow[u, dotted, "exists ! Phi"'] & fraca1 arrow[u, maps to] \
& fraca1 &
endtikzcd
enddocument









share|improve this question









New contributor




Merk Zockerborg is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.












In making commutative diagrams in tikz-cd I've been wanting to add in 'mapping' arrows that describe what particular elements map to, parallel to the main diagram arrows.



I've been doing it in the following way, which seems fairly clumsy since the 'map' arrows are separated from the main diagram at a large distance, when ideally they would be close by and parallel to the corresponding maps. What would be a better way to do this?



documentclassarticle
usepackagetikz-cd

begindocument
begintikzcd
a arrow[r, maps to] & phi(a) & \
Rarrow[r, hook, "phi"] arrow[dr, hook, "iota"] & K & phi(k) \
a arrow[dr, maps to] & Q(R) arrow[u, dotted, "exists ! Phi"'] & fraca1 arrow[u, maps to] \
& fraca1 &
endtikzcd
enddocument






tikz-cd commutative-diagrams






share|improve this question









New contributor




Merk Zockerborg is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.











share|improve this question









New contributor




Merk Zockerborg is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









share|improve this question




share|improve this question








edited 7 hours ago







Merk Zockerborg













New contributor




Merk Zockerborg is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









asked 7 hours ago









Merk ZockerborgMerk Zockerborg

214




214




New contributor




Merk Zockerborg is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.





New contributor





Merk Zockerborg is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.






Merk Zockerborg is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.












  • (1) welcome, (2) as always on this site please post a full minimal example instead of a sniplet. Then it is a lot easier to help, especially when we don't have to guess.

    – daleif
    7 hours ago

















  • (1) welcome, (2) as always on this site please post a full minimal example instead of a sniplet. Then it is a lot easier to help, especially when we don't have to guess.

    – daleif
    7 hours ago
















(1) welcome, (2) as always on this site please post a full minimal example instead of a sniplet. Then it is a lot easier to help, especially when we don't have to guess.

– daleif
7 hours ago





(1) welcome, (2) as always on this site please post a full minimal example instead of a sniplet. Then it is a lot easier to help, especially when we don't have to guess.

– daleif
7 hours ago










2 Answers
2






active

oldest

votes


















3














You can reduce the spacing, but in my opinion it's clearer and more elegant if you make two diagrams.



documentclassarticle
usepackageamsmath
usepackagetikz-cd

begindocument

[
begintikzcd
a arrow[r, maps to] & phi(a) &[-2em] \[-4ex]
Rarrow[r, hook, "phi"] arrow[dr, hook, "iota"] & K & phi(a) \
& Q(R) arrow[u, dotted, "exists ! Phi"'] & fraca1 arrow[u, maps to] \[-10ex]
a arrow[dr, maps to] \
& fraca1 &
endtikzcd
]

[
begintikzcd
Rarrow[r, hook, "phi"] arrow[dr, hook, "iota"] & K &
a arrow[r, maps to,"phi"] arrow[dr, maps to,"iota"] & phi(a) \
& Q(R) arrow[u, dotted, "exists ! Phi"'] &
& fraca1 arrow[u, maps to,"Phi"']
endtikzcd
]

enddocument


enter image description here






share|improve this answer























  • I might try playing around with the spacing, thanks

    – Merk Zockerborg
    7 hours ago


















3














This is my proposal



documentclass[tikz]standalone
usetikzlibraryarrows,cd,positioning
tikzset %https://tex.stackexchange.com/a/252544/156344
begindocument
begintikzpicture
node (r) at (0,0) $R$;
node (k) at (3,0) $K$;
node (q) at (3,-3) $Q(R)$;
node (ra) at (0,.8) $a$;
node (ka) at (3,.8) $phi(a)$;
node (kb) at (4,0) $phi(k)$;
node (qb) at (4,-3) $frac a1$;
path (q) node[below left=1em and 1em] (qc) $frac a1$;
path (r) node[below left=1em and 1em] (rc) $a$;
draw[right hook->] (r)--(k) node[midway,above] $scriptstylephi$;
draw[right hook->] (r)--(q) node[midway,above right] $scriptstyleiota$;
draw[dotted,->] (q)--(k) node[midway,right] $scriptstyleexists!Phi$;
draw[|->] (ra) edge (ka) (qb) edge (kb) (rc) edge (qc);
endtikzpicture
enddocument


enter image description here






share|improve this answer























    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
    );



    );






    Merk Zockerborg is a new contributor. Be nice, and check out our Code of Conduct.









    draft saved

    draft discarded


















    StackExchange.ready(
    function ()
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2ftex.stackexchange.com%2fquestions%2f483801%2fmapping-arrows-in-commutative-diagrams%23new-answer', 'question_page');

    );

    Post as a guest















    Required, but never shown

























    2 Answers
    2






    active

    oldest

    votes








    2 Answers
    2






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    3














    You can reduce the spacing, but in my opinion it's clearer and more elegant if you make two diagrams.



    documentclassarticle
    usepackageamsmath
    usepackagetikz-cd

    begindocument

    [
    begintikzcd
    a arrow[r, maps to] & phi(a) &[-2em] \[-4ex]
    Rarrow[r, hook, "phi"] arrow[dr, hook, "iota"] & K & phi(a) \
    & Q(R) arrow[u, dotted, "exists ! Phi"'] & fraca1 arrow[u, maps to] \[-10ex]
    a arrow[dr, maps to] \
    & fraca1 &
    endtikzcd
    ]

    [
    begintikzcd
    Rarrow[r, hook, "phi"] arrow[dr, hook, "iota"] & K &
    a arrow[r, maps to,"phi"] arrow[dr, maps to,"iota"] & phi(a) \
    & Q(R) arrow[u, dotted, "exists ! Phi"'] &
    & fraca1 arrow[u, maps to,"Phi"']
    endtikzcd
    ]

    enddocument


    enter image description here






    share|improve this answer























    • I might try playing around with the spacing, thanks

      – Merk Zockerborg
      7 hours ago















    3














    You can reduce the spacing, but in my opinion it's clearer and more elegant if you make two diagrams.



    documentclassarticle
    usepackageamsmath
    usepackagetikz-cd

    begindocument

    [
    begintikzcd
    a arrow[r, maps to] & phi(a) &[-2em] \[-4ex]
    Rarrow[r, hook, "phi"] arrow[dr, hook, "iota"] & K & phi(a) \
    & Q(R) arrow[u, dotted, "exists ! Phi"'] & fraca1 arrow[u, maps to] \[-10ex]
    a arrow[dr, maps to] \
    & fraca1 &
    endtikzcd
    ]

    [
    begintikzcd
    Rarrow[r, hook, "phi"] arrow[dr, hook, "iota"] & K &
    a arrow[r, maps to,"phi"] arrow[dr, maps to,"iota"] & phi(a) \
    & Q(R) arrow[u, dotted, "exists ! Phi"'] &
    & fraca1 arrow[u, maps to,"Phi"']
    endtikzcd
    ]

    enddocument


    enter image description here






    share|improve this answer























    • I might try playing around with the spacing, thanks

      – Merk Zockerborg
      7 hours ago













    3












    3








    3







    You can reduce the spacing, but in my opinion it's clearer and more elegant if you make two diagrams.



    documentclassarticle
    usepackageamsmath
    usepackagetikz-cd

    begindocument

    [
    begintikzcd
    a arrow[r, maps to] & phi(a) &[-2em] \[-4ex]
    Rarrow[r, hook, "phi"] arrow[dr, hook, "iota"] & K & phi(a) \
    & Q(R) arrow[u, dotted, "exists ! Phi"'] & fraca1 arrow[u, maps to] \[-10ex]
    a arrow[dr, maps to] \
    & fraca1 &
    endtikzcd
    ]

    [
    begintikzcd
    Rarrow[r, hook, "phi"] arrow[dr, hook, "iota"] & K &
    a arrow[r, maps to,"phi"] arrow[dr, maps to,"iota"] & phi(a) \
    & Q(R) arrow[u, dotted, "exists ! Phi"'] &
    & fraca1 arrow[u, maps to,"Phi"']
    endtikzcd
    ]

    enddocument


    enter image description here






    share|improve this answer













    You can reduce the spacing, but in my opinion it's clearer and more elegant if you make two diagrams.



    documentclassarticle
    usepackageamsmath
    usepackagetikz-cd

    begindocument

    [
    begintikzcd
    a arrow[r, maps to] & phi(a) &[-2em] \[-4ex]
    Rarrow[r, hook, "phi"] arrow[dr, hook, "iota"] & K & phi(a) \
    & Q(R) arrow[u, dotted, "exists ! Phi"'] & fraca1 arrow[u, maps to] \[-10ex]
    a arrow[dr, maps to] \
    & fraca1 &
    endtikzcd
    ]

    [
    begintikzcd
    Rarrow[r, hook, "phi"] arrow[dr, hook, "iota"] & K &
    a arrow[r, maps to,"phi"] arrow[dr, maps to,"iota"] & phi(a) \
    & Q(R) arrow[u, dotted, "exists ! Phi"'] &
    & fraca1 arrow[u, maps to,"Phi"']
    endtikzcd
    ]

    enddocument


    enter image description here







    share|improve this answer












    share|improve this answer



    share|improve this answer










    answered 7 hours ago









    egregegreg

    732k8919303254




    732k8919303254












    • I might try playing around with the spacing, thanks

      – Merk Zockerborg
      7 hours ago

















    • I might try playing around with the spacing, thanks

      – Merk Zockerborg
      7 hours ago
















    I might try playing around with the spacing, thanks

    – Merk Zockerborg
    7 hours ago





    I might try playing around with the spacing, thanks

    – Merk Zockerborg
    7 hours ago











    3














    This is my proposal



    documentclass[tikz]standalone
    usetikzlibraryarrows,cd,positioning
    tikzset %https://tex.stackexchange.com/a/252544/156344
    begindocument
    begintikzpicture
    node (r) at (0,0) $R$;
    node (k) at (3,0) $K$;
    node (q) at (3,-3) $Q(R)$;
    node (ra) at (0,.8) $a$;
    node (ka) at (3,.8) $phi(a)$;
    node (kb) at (4,0) $phi(k)$;
    node (qb) at (4,-3) $frac a1$;
    path (q) node[below left=1em and 1em] (qc) $frac a1$;
    path (r) node[below left=1em and 1em] (rc) $a$;
    draw[right hook->] (r)--(k) node[midway,above] $scriptstylephi$;
    draw[right hook->] (r)--(q) node[midway,above right] $scriptstyleiota$;
    draw[dotted,->] (q)--(k) node[midway,right] $scriptstyleexists!Phi$;
    draw[|->] (ra) edge (ka) (qb) edge (kb) (rc) edge (qc);
    endtikzpicture
    enddocument


    enter image description here






    share|improve this answer



























      3














      This is my proposal



      documentclass[tikz]standalone
      usetikzlibraryarrows,cd,positioning
      tikzset %https://tex.stackexchange.com/a/252544/156344
      begindocument
      begintikzpicture
      node (r) at (0,0) $R$;
      node (k) at (3,0) $K$;
      node (q) at (3,-3) $Q(R)$;
      node (ra) at (0,.8) $a$;
      node (ka) at (3,.8) $phi(a)$;
      node (kb) at (4,0) $phi(k)$;
      node (qb) at (4,-3) $frac a1$;
      path (q) node[below left=1em and 1em] (qc) $frac a1$;
      path (r) node[below left=1em and 1em] (rc) $a$;
      draw[right hook->] (r)--(k) node[midway,above] $scriptstylephi$;
      draw[right hook->] (r)--(q) node[midway,above right] $scriptstyleiota$;
      draw[dotted,->] (q)--(k) node[midway,right] $scriptstyleexists!Phi$;
      draw[|->] (ra) edge (ka) (qb) edge (kb) (rc) edge (qc);
      endtikzpicture
      enddocument


      enter image description here






      share|improve this answer

























        3












        3








        3







        This is my proposal



        documentclass[tikz]standalone
        usetikzlibraryarrows,cd,positioning
        tikzset %https://tex.stackexchange.com/a/252544/156344
        begindocument
        begintikzpicture
        node (r) at (0,0) $R$;
        node (k) at (3,0) $K$;
        node (q) at (3,-3) $Q(R)$;
        node (ra) at (0,.8) $a$;
        node (ka) at (3,.8) $phi(a)$;
        node (kb) at (4,0) $phi(k)$;
        node (qb) at (4,-3) $frac a1$;
        path (q) node[below left=1em and 1em] (qc) $frac a1$;
        path (r) node[below left=1em and 1em] (rc) $a$;
        draw[right hook->] (r)--(k) node[midway,above] $scriptstylephi$;
        draw[right hook->] (r)--(q) node[midway,above right] $scriptstyleiota$;
        draw[dotted,->] (q)--(k) node[midway,right] $scriptstyleexists!Phi$;
        draw[|->] (ra) edge (ka) (qb) edge (kb) (rc) edge (qc);
        endtikzpicture
        enddocument


        enter image description here






        share|improve this answer













        This is my proposal



        documentclass[tikz]standalone
        usetikzlibraryarrows,cd,positioning
        tikzset %https://tex.stackexchange.com/a/252544/156344
        begindocument
        begintikzpicture
        node (r) at (0,0) $R$;
        node (k) at (3,0) $K$;
        node (q) at (3,-3) $Q(R)$;
        node (ra) at (0,.8) $a$;
        node (ka) at (3,.8) $phi(a)$;
        node (kb) at (4,0) $phi(k)$;
        node (qb) at (4,-3) $frac a1$;
        path (q) node[below left=1em and 1em] (qc) $frac a1$;
        path (r) node[below left=1em and 1em] (rc) $a$;
        draw[right hook->] (r)--(k) node[midway,above] $scriptstylephi$;
        draw[right hook->] (r)--(q) node[midway,above right] $scriptstyleiota$;
        draw[dotted,->] (q)--(k) node[midway,right] $scriptstyleexists!Phi$;
        draw[|->] (ra) edge (ka) (qb) edge (kb) (rc) edge (qc);
        endtikzpicture
        enddocument


        enter image description here







        share|improve this answer












        share|improve this answer



        share|improve this answer










        answered 6 hours ago









        JouleVJouleV

        11.7k22561




        11.7k22561




















            Merk Zockerborg is a new contributor. Be nice, and check out our Code of Conduct.









            draft saved

            draft discarded


















            Merk Zockerborg is a new contributor. Be nice, and check out our Code of Conduct.












            Merk Zockerborg is a new contributor. Be nice, and check out our Code of Conduct.











            Merk Zockerborg is a new contributor. Be nice, and check out our Code of Conduct.














            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%2f483801%2fmapping-arrows-in-commutative-diagrams%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

            Are there any comparative studies done between Ashtavakra Gita and Buddhim?How is it wrong to believe that a self exists, or that it doesn't?Can you criticise or improve Ven. Bodhi's description of MahayanaWas the doctrine of 'Anatta', accepted as doctrine by modern Buddhism, actually taught by the Buddha?Relationship between Buddhism, Hinduism and Yoga?Comparison of Nirvana, Tao and Brahman/AtmaIs there a distinction between “ego identity” and “craving/hating”?Are there many differences between Taoism and Buddhism?Loss of “faith” in buddhismSimilarity between creation in Abrahamic religions and beginning of life in Earth mentioned Agganna Sutta?Are there studies about the difference between meditating in the morning versus in the evening?Can one follow Hinduism and Buddhism at the same time?Are there any prohibitions on participating in other religion's practices?Psychology of 'flow'

            fallocate: fallocate failed: Text file busy in Ubuntu 17.04? Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)defragmenting and increasing performance of old lubuntu system with swap partitionIssue with increasing the root partition from the swapthis /usr/bin/dpkg returned error || ubuntu-16.04, 64bitDefault 17.04 swap file locationHow to Resize Ubuntu 17.04 Zesty Swap file size?Ubuntu freezes from online formsMy Laptop is not starting after upgrade ubuntu 16.04 (Kernel 4.8.0-38 to 04.10.0-36)hcp: ERROR: FALLOCATE FAILED!Not sure my swap is being usedWine 3.0 asking for more virtual free swap

            Where else does the Shulchan Aruch quote an authority by name?Parashat Metzora+HagadolPesach/PassoverShulchan Aruch UTF-8Anonymous glosses in the Shulchan AruchWhy is the Shulchan Aruch definitive?Siman 32, Kitzur Shulchan Aruch: UntranslatedLitvaks/Yeshivish and Shulchan AruchBuying a Shulchan AruchEnglish version of SHULCHAN ARUCHIs there any place where Shulchan Aruch rules with the Rosh against the Rif and Rambam?Are there practices where Sepharadim do not hold by Shulchan Aruch?5th part of the shulchan aruch