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

Quiver #262

Merged
merged 27 commits into from
Aug 13, 2021
Merged

Quiver #262

merged 27 commits into from
Aug 13, 2021

Commits on Apr 30, 2020

  1. step 1 of splitting up the construction of the category of Quivers (u… 

    …sed to be Graphs).
    @JacquesCarette
    JacquesCarette committed Apr 30, 2020
    Configuration menu
    Copy the full SHA
    c135d26 View commit details
    Browse the repository at this point in the history

Commits on May 1, 2020

  1. split off the definition of Paths in a Quiver.

    @JacquesCarette
    JacquesCarette committed May 1, 2020
    Configuration menu
    Copy the full SHA
    9179f55 View commit details
    Browse the repository at this point in the history

  2. Split off the FreeQuiver construction as well as the definition of Qu… 

    …iver Morphism.
    @JacquesCarette
    JacquesCarette committed May 1, 2020
    Configuration menu
    Copy the full SHA
    e3d99f3 View commit details
    Browse the repository at this point in the history

Commits on May 11, 2020

  1. Merge branch 'master' into Quiver

    @JacquesCarette
    JacquesCarette committed May 11, 2020
    Configuration menu
    Copy the full SHA
    5a90826 View commit details
    Browse the repository at this point in the history

Commits on May 13, 2020

  1. decent splitting of Quiver and Subst Properties off from the construc… 

    …tion of the category of Graphs. Still a WIP though.
    @JacquesCarette
    JacquesCarette committed May 13, 2020
    Configuration menu
    Copy the full SHA
    22a64b8 View commit details
    Browse the repository at this point in the history

  2. make sure all the new Quiver stuff gets compiled.

    @JacquesCarette
    JacquesCarette committed May 13, 2020
    Configuration menu
    Copy the full SHA
    bc13dcb View commit details
    Browse the repository at this point in the history

  3. a bit more refactoring to split into more modules, to reflect actual … 

    …usage.
    @JacquesCarette
    JacquesCarette committed May 13, 2020
    Configuration menu
    Copy the full SHA
    cd1f91e View commit details
    Browse the repository at this point in the history

  4. more refactoring. Rename too.

    @JacquesCarette
    JacquesCarette committed May 13, 2020
    Configuration menu
    Copy the full SHA
    ae10779 View commit details
    Browse the repository at this point in the history

Commits on May 17, 2020

  1. add a little bit of documentation

    @JacquesCarette
    JacquesCarette committed May 17, 2020
    Configuration menu
    Copy the full SHA
    9e54ce1 View commit details
    Browse the repository at this point in the history

  2. continue improving the code around Quivers.

    @JacquesCarette
    JacquesCarette committed May 17, 2020
    Configuration menu
    Copy the full SHA
    ad73530 View commit details
    Browse the repository at this point in the history

  3. and plug in the new files

    @JacquesCarette
    JacquesCarette committed May 17, 2020
    Configuration menu
    Copy the full SHA
    c44af47 View commit details
    Browse the repository at this point in the history

Commits on Apr 4, 2021

  1. merge conflict

    @JacquesCarette
    JacquesCarette committed Apr 4, 2021
    Configuration menu
    Copy the full SHA
    a0ff909 View commit details
    Browse the repository at this point in the history

  2. fix a bug because of duplicates.

    @JacquesCarette
    JacquesCarette committed Apr 4, 2021
    Configuration menu
    Copy the full SHA
    c2a78fb View commit details
    Browse the repository at this point in the history

Commits on Aug 4, 2021

  1. merge master

    @JacquesCarette
    JacquesCarette committed Aug 4, 2021
    Configuration menu
    Copy the full SHA
    06c40cc View commit details
    Browse the repository at this point in the history

  2. first few steps of dealing with comments on PR

    @JacquesCarette
    JacquesCarette committed Aug 4, 2021
    Configuration menu
    Copy the full SHA
    41fd4a1 View commit details
    Browse the repository at this point in the history

  3. reflect renaming of FreeQuiver to PathCategory

    @JacquesCarette
    JacquesCarette committed Aug 4, 2021
    Configuration menu
    Copy the full SHA
    fc8bdd0 View commit details
    Browse the repository at this point in the history

  4. step one of renaming Construction.Quivers to Instance.Quivers

    @JacquesCarette
    JacquesCarette committed Aug 4, 2021
    Configuration menu
    Copy the full SHA
    7a54e3a View commit details
    Browse the repository at this point in the history

Commits on Aug 5, 2021

  1. Move comments around to better places, and then rewrite them. Move pr… 

    …oofs from in the category Quivers instance to Data.Quiver.Morphism, where they belong.
    @JacquesCarette
    JacquesCarette committed Aug 5, 2021
    Configuration menu
    Copy the full SHA
    0779221 View commit details
    Browse the repository at this point in the history

  2. move Underlying Functor instance to Functor.Instance.UnderlyingQuiver… 

    …. Make it clear that it goes from StrictCats rather than Cats.
    @JacquesCarette
    JacquesCarette committed Aug 5, 2021
    Configuration menu
    Copy the full SHA
    72a8181 View commit details
    Browse the repository at this point in the history

  3. and fix up the Adjoint proof to deal with moving the Functor instance… 

    … to its proper places.
    @JacquesCarette
    JacquesCarette committed Aug 5, 2021
    Configuration menu
    Copy the full SHA
    15b17a1 View commit details
    Browse the repository at this point in the history

  4. move some useful routines from the construction of the category to Da… 

    …ta.Quiver.Morphism. Add a lot of documentation about the (forced) design choices.
    @JacquesCarette
    JacquesCarette committed Aug 5, 2021
    Configuration menu
    Copy the full SHA
    edd9cd0 View commit details
    Browse the repository at this point in the history

  5. rename Function.Construction.FreeCategory to Functor.Construction.Pat… 

    …hsOf. Split some useful bits out of the definition. Some import minimization.
    @JacquesCarette
    JacquesCarette committed Aug 5, 2021
    Configuration menu
    Copy the full SHA
    1b1ef50 View commit details
    Browse the repository at this point in the history

  6. making it clear that PathsOf goes to StrictCats.

    @JacquesCarette
    JacquesCarette committed Aug 5, 2021
    Configuration menu
    Copy the full SHA
    a7cb44c View commit details
    Browse the repository at this point in the history

  7. rename QuiverCategory adjoint to PathsOf (the Underlying is kept sile… 

    …nt in the name). Make the counit functor more explicit.
    @JacquesCarette
    JacquesCarette committed Aug 5, 2021
    Configuration menu
    Copy the full SHA
    0cf4ea6 View commit details
    Browse the repository at this point in the history

  8. plug in PathsOf, and slight last clean up

    @JacquesCarette
    JacquesCarette committed Aug 5, 2021
    Configuration menu
    Copy the full SHA
    0559613 View commit details
    Browse the repository at this point in the history

Commits on Aug 13, 2021

  1. Merge branch 'master' into Quiver

    @JacquesCarette
    JacquesCarette committed Aug 13, 2021
    Configuration menu
    Copy the full SHA
    23cd055 View commit details
    Browse the repository at this point in the history

  2. adjust renamings of StrictCat

    @JacquesCarette
    JacquesCarette committed Aug 13, 2021
    Configuration menu
    Copy the full SHA
    ee650d3 View commit details
    Browse the repository at this point in the history