Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Redraw commutative diagrams with Tikz #219

Open
wants to merge 37 commits into
base: master
Choose a base branch
from
Open

Redraw commutative diagrams with Tikz #219

wants to merge 37 commits into from

Commits on Oct 4, 2019

  1. Draw 3.1/sheets

    @platipo
    platipo committed Oct 4, 2019
    Configuration menu
    Copy the full SHA
    8d2977c View commit details
    Browse the repository at this point in the history

  2. Draw 3.15/spanmul

    @platipo
    platipo committed Oct 4, 2019
    Configuration menu
    Copy the full SHA
    229abbe View commit details
    Browse the repository at this point in the history

  3. Draw 3.6/assocmon

    @platipo
    platipo committed Oct 4, 2019
    Configuration menu
    Copy the full SHA
    969fc2b View commit details
    Browse the repository at this point in the history

  4. Draw 3.6/horizcomp

    @platipo
    platipo committed Oct 4, 2019
    Configuration menu
    Copy the full SHA
    5022ee0 View commit details
    Browse the repository at this point in the history

  5. Draw 3.6/unitlawcomp

    @platipo
    platipo committed Oct 4, 2019
    Configuration menu
    Copy the full SHA
    9efb3dc View commit details
    Browse the repository at this point in the history

  6. Draw 3.6/unitlawcomp-1

    @platipo
    platipo committed Oct 4, 2019
    Configuration menu
    Copy the full SHA
    023ff19 View commit details
    Browse the repository at this point in the history

  7. Draw 3.15/twocat

    @platipo
    platipo committed Oct 4, 2019
    Configuration menu
    Copy the full SHA
    0447a56 View commit details
    Browse the repository at this point in the history

  8. Draw 3.15/span

    @platipo
    platipo committed Oct 4, 2019
    Configuration menu
    Copy the full SHA
    cfcc06f View commit details
    Browse the repository at this point in the history

  9. Draw 3.15/compspan

    @platipo
    platipo committed Oct 4, 2019
    Configuration menu
    Copy the full SHA
    c9d0038 View commit details
    Browse the repository at this point in the history

  10. Draw 3.15/pullspan

    @platipo
    platipo committed Oct 4, 2019
    Configuration menu
    Copy the full SHA
    d3f39fe View commit details
    Browse the repository at this point in the history

  11. Draw 3.15/morphspan

    @platipo
    platipo committed Oct 4, 2019
    Configuration menu
    Copy the full SHA
    19f6df5 View commit details
    Browse the repository at this point in the history

  12. Draw 3.15/monad

    @platipo
    platipo committed Oct 4, 2019
    Configuration menu
    Copy the full SHA
    9ac65b0 View commit details
    Browse the repository at this point in the history

  13. Draw 3.15/bimonad

    @platipo
    platipo committed Oct 4, 2019
    Configuration menu
    Copy the full SHA
    5e76102 View commit details
    Browse the repository at this point in the history

  14. Draw 3.15/spanmonad

    @platipo
    platipo committed Oct 4, 2019
    Configuration menu
    Copy the full SHA
    d48eae1 View commit details
    Browse the repository at this point in the history

  15. Draw 3.15/spanunit

    @platipo
    platipo committed Oct 4, 2019
    Configuration menu
    Copy the full SHA
    02925f0 View commit details
    Browse the repository at this point in the history

  16. Draw 2.1/productranking

    @platipo
    platipo committed Oct 4, 2019
    Configuration menu
    Copy the full SHA
    cb86eda View commit details
    Browse the repository at this point in the history

  17. Draw 3.1/3_naturality

    @platipo
    platipo committed Oct 4, 2019
    Configuration menu
    Copy the full SHA
    3913903 View commit details
    Browse the repository at this point in the history

Commits on Oct 7, 2019

  1. Draw 1.10/3_naturality

    @platipo
    platipo committed Oct 7, 2019
    Configuration menu
    Copy the full SHA
    b821f1a View commit details
    Browse the repository at this point in the history

  2. Draw 1.10/4_transport

    @platipo
    platipo committed Oct 7, 2019
    Configuration menu
    Copy the full SHA
    b8070d5 View commit details
    Browse the repository at this point in the history

  3. Draw 1.10/5_vertical

    @platipo
    platipo committed Oct 7, 2019
    Configuration menu
    Copy the full SHA
    506d114 View commit details
    Browse the repository at this point in the history

  4. Draw 1.10/6_verticalnaturality

    @platipo
    platipo committed Oct 7, 2019
    Configuration menu
    Copy the full SHA
    71a3461 View commit details
    Browse the repository at this point in the history

  5. Draw 1.10/6a_vertical

    @platipo
    platipo committed Oct 7, 2019
    Configuration menu
    Copy the full SHA
    0bfc3cf View commit details
    Browse the repository at this point in the history

  6. Draw 1.10/10_horizontal

    @platipo
    platipo committed Oct 7, 2019
    Configuration menu
    Copy the full SHA
    d6f098d View commit details
    Browse the repository at this point in the history

  7. Draw 3.8/alg

    @platipo
    platipo committed Oct 7, 2019
    Configuration menu
    Copy the full SHA
    f29c860 View commit details
    Browse the repository at this point in the history

  8. Draw 3.8/alg2

    @platipo
    platipo committed Oct 7, 2019
    Configuration menu
    Copy the full SHA
    afca832 View commit details
    Browse the repository at this point in the history

  9. Draw 3.8/alg3a

    @platipo
    platipo committed Oct 7, 2019
    Configuration menu
    Copy the full SHA
    35d1882 View commit details
    Browse the repository at this point in the history

  10. Draw 3.8/alg3

    @platipo
    platipo committed Oct 7, 2019
    Configuration menu
    Copy the full SHA
    42d2631 View commit details
    Browse the repository at this point in the history

  11. Draw 3.8/alg4

    @platipo
    platipo committed Oct 7, 2019
    Configuration menu
    Copy the full SHA
    efc48a9 View commit details
    Browse the repository at this point in the history

  12. Draw 3.8/alg5

    @platipo
    platipo committed Oct 7, 2019
    Configuration menu
    Copy the full SHA
    bdf2df9 View commit details
    Browse the repository at this point in the history

  13. Draw 3.8/alg6

    @platipo
    platipo committed Oct 7, 2019
    Configuration menu
    Copy the full SHA
    c760e9a View commit details
    Browse the repository at this point in the history

  14. Draw 3.8/alg7

    @platipo
    platipo committed Oct 7, 2019
    Configuration menu
    Copy the full SHA
    51f7201 View commit details
    Browse the repository at this point in the history

  15. Draw 3.6/assoc1

    @platipo
    platipo committed Oct 7, 2019
    Configuration menu
    Copy the full SHA
    3b477ab View commit details
    Browse the repository at this point in the history

  16. Draw 3.6/assoc2

    @platipo
    platipo committed Oct 7, 2019
    Configuration menu
    Copy the full SHA
    8fd22e2 View commit details
    Browse the repository at this point in the history

  17. Draw 3.6/assoc

    @platipo
    platipo committed Oct 7, 2019
    Configuration menu
    Copy the full SHA
    479211c View commit details
    Browse the repository at this point in the history

  18. Draw 3.6/assoctensor

    @platipo
    platipo committed Oct 7, 2019
    Configuration menu
    Copy the full SHA
    7f23332 View commit details
    Browse the repository at this point in the history

  19. Draw 3.6/unitmon

    @platipo
    platipo committed Oct 7, 2019
    Configuration menu
    Copy the full SHA
    523b5e2 View commit details
    Browse the repository at this point in the history

  20. Draw 3.6/assoc

    @platipo
    platipo committed Oct 7, 2019
    Configuration menu
    Copy the full SHA
    497eda4 View commit details
    Browse the repository at this point in the history