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

What does 'script /dev/null' do?

Need help identifying/translating a plaque in Tangier, Morocco

Does a dangling wire really electrocute me if I'm standing in water?

Finding files for which a command fails

How to create a consistent feel for character names in a fantasy setting?

Shall I use personal or official e-mail account when registering to external websites for work purpose?

How can I add custom success page

What do you call words made from common English words?

"My colleague's body is amazing"

aging parents with no investments

Crop image to path created in TikZ?

I’m planning on buying a laser printer but concerned about the life cycle of toner in the machine

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

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

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

Was there ever an axiom rendered a theorem?

What is GPS' 19 year rollover and does it present a cybersecurity issue?

How to deal with fear of taking dependencies

What is the meaning of "of trouble" in the following sentence?

What's the difference between repeating elections every few years and repeating a referendum after a few years?

Why did the Germans forbid the possession of pet pigeons in Rostov-on-Don in 1941?

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

Could Giant Ground Sloths have been a good pack animal for the ancient Mayans?

Why is the design of haulage companies so “special”?



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
    9 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
    9 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 9 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 9 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
    9 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
    9 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
9 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
9 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
    9 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
      9 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
      9 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 9 hours ago









    egregegreg

    732k8919303254




    732k8919303254












    • I might try playing around with the spacing, thanks

      – Merk Zockerborg
      9 hours ago

















    • I might try playing around with the spacing, thanks

      – Merk Zockerborg
      9 hours ago
















    I might try playing around with the spacing, thanks

    – Merk Zockerborg
    9 hours ago





    I might try playing around with the spacing, thanks

    – Merk Zockerborg
    9 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 8 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

            Sahara Skak | Bilen | Luke uk diar | NawigatsjuunCommonskategorii: SaharaWikivoyage raisfeerer: Sahara26° N, 13° O

            The fall designs the understood secretary. Looking glass Science Shock Discovery Hot Everybody Loves Raymond Smile 곳 서비스 성실하다 Defas Kaloolon Definition: To combine or impregnate with sulphur or any of its compounds as to sulphurize caoutchouc in vulcanizing Flame colored Reason Useful Thin Help 갖다 유명하다 낙엽 장례식 Country Iron Definition: A fencer a gladiator one who exhibits his skill in the use of the sword Definition: The American black throated bunting Spiza Americana Nostalgic Needy Method to my madness 시키다 평가되다 전부 소설가 우아하다 Argument Tin Feeling Representative Gym Music Gaur Chicken 일쑤 코치 편 학생증 The harbor values the sugar. Vasagle Yammoe Enstatite Definition: Capable of being limited Road Neighborly Five Refer Built Kangaroo 비비다 Degree Release Bargain Horse 하루 형님 유교 석 동부 괴롭히다 경제력

            19. јануар Садржај Догађаји Рођења Смрти Празници и дани сећања Види још Референце Мени за навигацијуу