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

WIP: quotients #48

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

WIP: quotients #48

wants to merge 34 commits into from

Commits on Jun 11, 2019

  1. start defining free monoidal categories

    @marcosh
    marcosh committed Jun 11, 2019
    Configuration menu
    Copy the full SHA
    2de4945 View commit details
    Browse the repository at this point in the history

  2. definition for free category morphisms

    @marcosh
    marcosh committed Jun 11, 2019
    Configuration menu
    Copy the full SHA
    ee56056 View commit details
    Browse the repository at this point in the history

  3. Free categories defined.

    @marcosh
    FabrizioRomanoGenovese authored and marcosh committed Jun 11, 2019
    Configuration menu
    Copy the full SHA
    b472c43 View commit details
    Browse the repository at this point in the history

  4. add license head to free monoidal category

    @marcosh
    marcosh committed Jun 11, 2019
    Configuration menu
    Copy the full SHA
    184a519 View commit details
    Browse the repository at this point in the history

  5. progress on free monoidal category

    @marcosh
    marcosh committed Jun 11, 2019
    Configuration menu
    Copy the full SHA
    900199f View commit details
    Browse the repository at this point in the history

  6. solving free category tensor issue

    @marcosh
    marcosh committed Jun 11, 2019
    Configuration menu
    Copy the full SHA
    f844bf7 View commit details
    Browse the repository at this point in the history

  7. complete free monoidal category definition

    @marcosh
    marcosh committed Jun 11, 2019
    Configuration menu
    Copy the full SHA
    6b456a3 View commit details
    Browse the repository at this point in the history

  8. strict symmetric monoidal category (inverse missing)

    @marcosh
    marcosh committed Jun 11, 2019
    Configuration menu
    Copy the full SHA
    d32bea3 View commit details
    Browse the repository at this point in the history

  9. inverse law for strict symmetric monoidal categories

    @marcosh
    marcosh committed Jun 11, 2019
    Configuration menu
    Copy the full SHA
    4d5bcef View commit details
    Browse the repository at this point in the history

  10. progress on FreeMonoidalCategory

    @marcosh
    marcosh committed Jun 11, 2019
    Configuration menu
    Copy the full SHA
    3a95eab View commit details
    Browse the repository at this point in the history

  11. complete freeSymmetryCommutativity proof

    @marcosh
    marcosh committed Jun 11, 2019
    Configuration menu
    Copy the full SHA
    fbabc8d View commit details
    Browse the repository at this point in the history

  12. complete free strict symmetric monoidal category with mistake

    @marcosh
    marcosh committed Jun 11, 2019
    Configuration menu
    Copy the full SHA
    0fe4bdf View commit details
    Browse the repository at this point in the history

  13. complete definition of free strict symmetric monoidal category

    @marcosh
    marcosh committed Jun 11, 2019
    Configuration menu
    Copy the full SHA
    e2917db View commit details
    Browse the repository at this point in the history

  14. add license to free monoid file

    @marcosh
    marcosh committed Jun 11, 2019
    Configuration menu
    Copy the full SHA
    b5f65cd View commit details
    Browse the repository at this point in the history

  15. remove newlines

    @marcosh
    marcosh committed Jun 11, 2019
    Configuration menu
    Copy the full SHA
    e1cf9de View commit details
    Browse the repository at this point in the history

  16. removed unused imports

    @marcosh
    marcosh committed Jun 11, 2019
    Configuration menu
    Copy the full SHA
    fea7f48 View commit details
    Browse the repository at this point in the history

  17. coherently use generatingMorphisms

    @marcosh
    marcosh committed Jun 11, 2019
    Configuration menu
    Copy the full SHA
    65477bf View commit details
    Browse the repository at this point in the history

  18. avoid paradoxes by disabling pattern matching on FreeMorphism

    @marcosh
    marcosh committed Jun 11, 2019
    Configuration menu
    Copy the full SHA
    65571ec View commit details
    Browse the repository at this point in the history

  19. start implementing monoidal functor

    @marcosh
    marcosh committed Jun 11, 2019
    Configuration menu
    Copy the full SHA
    ab21bca View commit details
    Browse the repository at this point in the history

  20. start defining a fold on free strict symmetric monoidal category

    @marcosh
    marcosh committed Jun 11, 2019
    Configuration menu
    Copy the full SHA
    4c28710 View commit details
    Browse the repository at this point in the history

  21. Agda experiment constructing free sym mon cat on a cat

    @fredrikNordvallForsberg @marcosh
    fredrikNordvallForsberg authored and marcosh committed Jun 11, 2019
    Configuration menu
    Copy the full SHA
    8d493bc View commit details
    Browse the repository at this point in the history

  22. remove fred experiment from free-marcosh branch

    @marcosh
    marcosh committed Jun 11, 2019
    Configuration menu
    Copy the full SHA
    3213b10 View commit details
    Browse the repository at this point in the history

  23. remove definition of monoidal functor from free-marcosh branch

    @marcosh
    marcosh committed Jun 11, 2019
    Configuration menu
    Copy the full SHA
    7a10a8e View commit details
    Browse the repository at this point in the history

  24. add namespace to module name

    @marcosh
    marcosh committed Jun 11, 2019
    Configuration menu
    Copy the full SHA
    1ccb775 View commit details
    Browse the repository at this point in the history

  25. add getters for strict symmetric monoidal category

    @marcosh
    marcosh committed Jun 11, 2019
    Configuration menu
    Copy the full SHA
    468d379 View commit details
    Browse the repository at this point in the history

  26. start defining monoid instance for strict monoidal category objects

    @marcosh
    marcosh committed Jun 11, 2019
    Configuration menu
    Copy the full SHA
    15eb353 View commit details
    Browse the repository at this point in the history

  27. progress with free monoidal category fold

    @marcosh
    marcosh committed Jun 11, 2019
    Configuration menu
    Copy the full SHA
    d696bf6 View commit details
    Browse the repository at this point in the history

Commits on Aug 27, 2019

  1. Add code for generating and working with quotients

    @WhatisRT
    WhatisRT committed Aug 27, 2019
    Configuration menu
    Copy the full SHA
    7ff772f View commit details
    Browse the repository at this point in the history

  2. Remove some unnecessary stuff

    @WhatisRT
    WhatisRT committed Aug 27, 2019
    Configuration menu
    Copy the full SHA
    94d4600 View commit details
    Browse the repository at this point in the history

  3. Implemented some of Frederik's suggestions

    @WhatisRT
    WhatisRT committed Aug 27, 2019
    Configuration menu
    Copy the full SHA
    b142fa4 View commit details
    Browse the repository at this point in the history

Commits on Sep 2, 2019

  1. Add quotients by arbitrary relations, by forming an equivalence closure

    @WhatisRT
    WhatisRT committed Sep 2, 2019
    Configuration menu
    Copy the full SHA
    5a9201e View commit details
    Browse the repository at this point in the history

  2. Merge branch 'quotients' into free-andrek

    @WhatisRT
    WhatisRT committed Sep 2, 2019
    Configuration menu
    Copy the full SHA
    c78b3b1 View commit details
    Browse the repository at this point in the history

Commits on Sep 10, 2019

  1. Add some morphisms for free categories using the new quotients

    @WhatisRT
    WhatisRT committed Sep 10, 2019
    Configuration menu
    Copy the full SHA
    8fdbead View commit details
    Browse the repository at this point in the history

Commits on Sep 11, 2019

  1. fix quotient namespaces

    @marcosh
    marcosh committed Sep 11, 2019
    Configuration menu
    Copy the full SHA
    3c54b5f View commit details
    Browse the repository at this point in the history