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

[Merged by Bors] - Feat: Add Yang-Baxter equation and the opposite braided monoidal category #10415

Closed
wants to merge 19 commits into from
Closed

[Merged by Bors] - Feat: Add Yang-Baxter equation and the opposite braided monoidal category #10415

wants to merge 19 commits into from

Commits on Feb 10, 2024

  1. Add braided opposites, yang-baxter equation

    @Shamrock-Frost
    Shamrock-Frost committed Feb 10, 2024
    Configuration menu
    Copy the full SHA
    2a448dc View commit details
    Browse the repository at this point in the history

  2. Fix definition of braided opposite, add reference for definition

    @Shamrock-Frost
    Shamrock-Frost committed Feb 10, 2024
    Configuration menu
    Copy the full SHA
    e6398ef View commit details
    Browse the repository at this point in the history

Commits on Feb 11, 2024

  1. Add doc strings, symmetric monoidal lemmas

    @Shamrock-Frost
    Shamrock-Frost committed Feb 11, 2024
    Configuration menu
    Copy the full SHA
    ed70541 View commit details
    Browse the repository at this point in the history

  2. Make focusing use the right dot

    @Shamrock-Frost
    Shamrock-Frost committed Feb 11, 2024
    Configuration menu
    Copy the full SHA
    a6b1d07 View commit details
    Browse the repository at this point in the history

  3. Make references linter happy

    @Shamrock-Frost
    Shamrock-Frost committed Feb 11, 2024
    Configuration menu
    Copy the full SHA
    482c065 View commit details
    Browse the repository at this point in the history

  4. Move operators to end of line

    @Shamrock-Frost
    Shamrock-Frost committed Feb 11, 2024
    Configuration menu
    Copy the full SHA
    b5ca302 View commit details
    Browse the repository at this point in the history

  5. Fix whitespace 

    Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
    @Shamrock-Frost @github-actions
    Shamrock-Frost and github-actions[bot] committed Feb 11, 2024
    Configuration menu
    Copy the full SHA
    7627859 View commit details
    Browse the repository at this point in the history

Commits on Feb 14, 2024

  1. Implement PR suggestions

    @Shamrock-Frost
    Shamrock-Frost committed Feb 14, 2024
    Configuration menu
    Copy the full SHA
    1fa39b2 View commit details
    Browse the repository at this point in the history

Commits on Feb 15, 2024

  1. Add reassoc attributes & clean up YB proof

    @Shamrock-Frost
    Shamrock-Frost committed Feb 15, 2024
    Configuration menu
    Copy the full SHA
    68dd1f7 View commit details
    Browse the repository at this point in the history

  2. Implement suggestions on PR

    @Shamrock-Frost
    Shamrock-Frost committed Feb 15, 2024
    Configuration menu
    Copy the full SHA
    b7015e4 View commit details
    Browse the repository at this point in the history

  3. Add lots of simp lemmas to help with automation

    @Shamrock-Frost
    Shamrock-Frost committed Feb 15, 2024
    Configuration menu
    Copy the full SHA
    ac0ae4d View commit details
    Browse the repository at this point in the history

  4. Reverse whiskerLeftIso_symm, whiskerRightIso_symm

    @Shamrock-Frost
    Shamrock-Frost committed Feb 15, 2024
    Configuration menu
    Copy the full SHA
    aa3240c View commit details
    Browse the repository at this point in the history

  5. Move = from start of rhs to end of lhs in yang_baxter_iso

    @Shamrock-Frost
    Shamrock-Frost committed Feb 15, 2024
    Configuration menu
    Copy the full SHA
    85ec0e2 View commit details
    Browse the repository at this point in the history

  6. Clean up reverseBraiding proofs

    @Shamrock-Frost
    Shamrock-Frost committed Feb 15, 2024
    Configuration menu
    Copy the full SHA
    cae92ff View commit details
    Browse the repository at this point in the history

  7. Remove superfluous parentheses

    @Shamrock-Frost
    Shamrock-Frost committed Feb 15, 2024
    Configuration menu
    Copy the full SHA
    3f1b153 View commit details
    Browse the repository at this point in the history

Commits on Feb 16, 2024

  1. Clean up proofs

    @Shamrock-Frost
    Shamrock-Frost committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    bec03ff View commit details
    Browse the repository at this point in the history

  2. Simplify equivReverseBraiding

    @Shamrock-Frost
    Shamrock-Frost committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    2f29439 View commit details
    Browse the repository at this point in the history

  3. Remove underscores from names

    @Shamrock-Frost
    Shamrock-Frost committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    121d8e1 View commit details
    Browse the repository at this point in the history

  4. Move operator to end of previous line 

    Co-authored-by: Joël Riou <37772949+joelriou@users.noreply.github.com>
    @Shamrock-Frost @joelriou
    Shamrock-Frost and joelriou committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    cf5da65 View commit details
    Browse the repository at this point in the history