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

feat(category_theory): finite products give a monoidal structure #1340

Merged
merged 38 commits into from Sep 4, 2019
Merged

feat(category_theory): finite products give a monoidal structure #1340

merged 38 commits into from Sep 4, 2019

Commits on Aug 17, 2019

  1. providing minimal API for limits of special shapes

    @semorrison
    semorrison committed Aug 17, 2019
    Copy the full SHA
    b56eb60 View commit details
    Browse the repository at this point in the history

  2. apis for special shapes

    @semorrison
    semorrison committed Aug 17, 2019
    Copy the full SHA
    d53fbec View commit details
    Browse the repository at this point in the history

  3. start

    @semorrison
    semorrison committed Aug 17, 2019
    Copy the full SHA
    c7c566e View commit details
    Browse the repository at this point in the history

  4. fintype instances

    @semorrison
    semorrison committed Aug 17, 2019
    Copy the full SHA
    2de84dd View commit details
    Browse the repository at this point in the history

  5. merge

    @semorrison
    semorrison committed Aug 17, 2019
    Copy the full SHA
    025fdb6 View commit details
    Browse the repository at this point in the history

  6. copy-paste from monoidal-categories-reboot

    @semorrison
    semorrison committed Aug 17, 2019
    Copy the full SHA
    018745b View commit details
    Browse the repository at this point in the history

  7. associators, unitors, braidings for binary product

    @semorrison
    semorrison committed Aug 17, 2019
    Copy the full SHA
    0935f0c View commit details
    Browse the repository at this point in the history

  8. merge

    @semorrison
    semorrison committed Aug 17, 2019
    Copy the full SHA
    4b30456 View commit details
    Browse the repository at this point in the history

  9. minor

    @semorrison
    semorrison committed Aug 17, 2019
    Copy the full SHA
    479ab28 View commit details
    Browse the repository at this point in the history

  10. minor

    @semorrison
    semorrison committed Aug 17, 2019
    Copy the full SHA
    fe225c3 View commit details
    Browse the repository at this point in the history

  11. map

    @semorrison
    semorrison committed Aug 17, 2019
    Copy the full SHA
    7244ebc View commit details
    Browse the repository at this point in the history

  12. merge

    @semorrison
    semorrison committed Aug 17, 2019
    Copy the full SHA
    8f5f195 View commit details
    Browse the repository at this point in the history

  13. minor

    @semorrison
    semorrison committed Aug 17, 2019
    Copy the full SHA
    762825f View commit details
    Browse the repository at this point in the history

  14. instances

    @semorrison
    semorrison committed Aug 17, 2019
    Copy the full SHA
    4bf314f View commit details
    Browse the repository at this point in the history

  15. blah

    @semorrison
    semorrison committed Aug 17, 2019
    Copy the full SHA
    892f39e View commit details
    Browse the repository at this point in the history

  16. blah

    @semorrison
    semorrison committed Aug 17, 2019
    Copy the full SHA
    a8ef1ce View commit details
    Browse the repository at this point in the history

  17. chore(category_theory/monoidal): monoidal_category doesn't extend cat… 

    …egory
    @semorrison
    semorrison committed Aug 17, 2019
    Copy the full SHA
    d281a49 View commit details
    Browse the repository at this point in the history

  18. merge

    @semorrison
    semorrison committed Aug 17, 2019
    Copy the full SHA
    4706a06 View commit details
    Browse the repository at this point in the history

  19. minor

    @semorrison
    semorrison committed Aug 17, 2019
    Copy the full SHA
    44aefd2 View commit details
    Browse the repository at this point in the history

  20. minor

    @semorrison
    semorrison committed Aug 17, 2019
    Copy the full SHA
    4e94653 View commit details
    Browse the repository at this point in the history

  21. assoc lemma

    @semorrison
    semorrison committed Aug 17, 2019
    Copy the full SHA
    0ef49a4 View commit details
    Browse the repository at this point in the history

  22. nearly there

    @semorrison
    semorrison committed Aug 17, 2019
    Copy the full SHA
    5900886 View commit details
    Browse the repository at this point in the history

  23. coprod

    @semorrison
    semorrison committed Aug 17, 2019
    Copy the full SHA
    e122f16 View commit details
    Browse the repository at this point in the history

  24. merge

    @semorrison
    semorrison committed Aug 17, 2019
    Copy the full SHA
    19c6187 View commit details
    Browse the repository at this point in the history

  25. done?

    @semorrison
    semorrison committed Aug 17, 2019
    Copy the full SHA
    d97773b View commit details
    Browse the repository at this point in the history

  26. Merge branch 'master' into limits-shapes

    @semorrison
    semorrison committed Aug 17, 2019
    Copy the full SHA
    4874a28 View commit details
    Browse the repository at this point in the history

  27. Merge branch 'master' into monoidal_of_has_products

    @semorrison
    semorrison committed Aug 17, 2019
    Copy the full SHA
    3f98381 View commit details
    Browse the repository at this point in the history

  28. fix import

    @semorrison
    semorrison committed Aug 17, 2019
    Copy the full SHA
    223ad51 View commit details
    Browse the repository at this point in the history

  29. merge

    @semorrison
    semorrison committed Aug 17, 2019
    Copy the full SHA
    4901c10 View commit details
    Browse the repository at this point in the history

  30. names

    @semorrison
    semorrison committed Aug 17, 2019
    Copy the full SHA
    5cfcddc View commit details
    Browse the repository at this point in the history

  31. merge

    @semorrison
    semorrison committed Aug 17, 2019
    Copy the full SHA
    6305d41 View commit details
    Browse the repository at this point in the history

Commits on Aug 18, 2019

  1. cleanup

    @semorrison
    semorrison committed Aug 18, 2019
    Copy the full SHA
    2b7ead5 View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2019

  1. merge

    @semorrison
    semorrison committed Aug 31, 2019
    Copy the full SHA
    4212f65 View commit details
    Browse the repository at this point in the history

  2. fix reassoc

    @semorrison
    semorrison committed Aug 31, 2019
    Copy the full SHA
    4eed407 View commit details
    Browse the repository at this point in the history

Commits on Sep 4, 2019

  1. comments

    @semorrison
    semorrison committed Sep 4, 2019
    Copy the full SHA
    c459ebf View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into monoidal_of_has_pro… 

    …ducts
    @semorrison
    semorrison committed Sep 4, 2019
    Copy the full SHA
    481ecc6 View commit details
    Browse the repository at this point in the history

  3. comments

    @semorrison
    semorrison committed Sep 4, 2019
    Copy the full SHA
    d5b7f64 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into monoidal_of_has_products

    @mergify
    mergify[bot] committed Sep 4, 2019
    Copy the full SHA
    d18ddc0 View commit details
    Browse the repository at this point in the history