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(category_theory/monoidal): Drinfeld center #7186

Closed
wants to merge 17 commits into from
Closed

[Merged by Bors] - feat(category_theory/monoidal): Drinfeld center #7186

wants to merge 17 commits into from

Commits on Apr 14, 2021

  1. feat(category/monoidal): Drinfeld center (without monoidal structure)

    @semorrison
    semorrison committed Apr 14, 2021
    Configuration menu
    Copy the full SHA
    8b0ac8d View commit details
    Browse the repository at this point in the history

  2. WIP: the monoidal and braided structures

    @semorrison
    semorrison committed Apr 14, 2021
    Configuration menu
    Copy the full SHA
    1770a88 View commit details
    Browse the repository at this point in the history

Commits on Apr 16, 2021

  1. Apply suggestions from code review 

    Co-authored-by: Bhavik Mehta <bhavikmehta8@gmail.com>
    @semorrison @b-mehta
    semorrison and b-mehta committed Apr 16, 2021
    Configuration menu
    Copy the full SHA
    182f0d1 View commit details
    Browse the repository at this point in the history

  2. add forgetful functor, show it reflects isos

    @semorrison
    semorrison committed Apr 16, 2021
    Configuration menu
    Copy the full SHA
    af38b5c View commit details
    Browse the repository at this point in the history

  3. one rewrite down

    @semorrison
    semorrison committed Apr 16, 2021
    Configuration menu
    Copy the full SHA
    9446f4f View commit details
    Browse the repository at this point in the history

  4. another

    @semorrison
    semorrison committed Apr 16, 2021
    Configuration menu
    Copy the full SHA
    211457e View commit details
    Browse the repository at this point in the history

  5. an easy one

    @semorrison
    semorrison committed Apr 16, 2021
    Configuration menu
    Copy the full SHA
    db8cb56 View commit details
    Browse the repository at this point in the history

  6. that was probably the worst on the way to monoidal

    @semorrison
    semorrison committed Apr 16, 2021
    Configuration menu
    Copy the full SHA
    a3933c6 View commit details
    Browse the repository at this point in the history

Commits on Apr 17, 2021

  1. add missing axiom, oops

    @semorrison
    semorrison committed Apr 17, 2021
    Configuration menu
    Copy the full SHA
    82dff4a View commit details
    Browse the repository at this point in the history

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

    @semorrison
    semorrison committed Apr 17, 2021
    Configuration menu
    Copy the full SHA
    355d9e4 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'drinfeld_1' into drinfeld_2

    @semorrison
    semorrison committed Apr 17, 2021
    Configuration menu
    Copy the full SHA
    d8fff95 View commit details
    Browse the repository at this point in the history

  4. missing sorry

    @semorrison
    semorrison committed Apr 17, 2021
    Configuration menu
    Copy the full SHA
    5f81eeb View commit details
    Browse the repository at this point in the history

  5. complete construction of braided monoidal structure

    @semorrison
    semorrison committed Apr 17, 2021
    Configuration menu
    Copy the full SHA
    c82f23f View commit details
    Browse the repository at this point in the history

  6. lint

    @semorrison
    semorrison committed Apr 17, 2021
    Configuration menu
    Copy the full SHA
    d9eeda8 View commit details
    Browse the repository at this point in the history

  7. Merge remote-tracking branch 'origin/master' into drinfeld_2

    @semorrison
    semorrison committed Apr 17, 2021
    Configuration menu
    Copy the full SHA
    64d7dae View commit details
    Browse the repository at this point in the history

  8. golf proofs

    @b-mehta
    b-mehta committed Apr 17, 2021
    Configuration menu
    Copy the full SHA
    0045575 View commit details
    Browse the repository at this point in the history

Commits on Apr 18, 2021

  1. fix simp lemma names

    @semorrison
    semorrison committed Apr 18, 2021
    Configuration menu
    Copy the full SHA
    d4b43ff View commit details
    Browse the repository at this point in the history