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

Lists: Free Monoidal Groupoid #95

Draft
wants to merge 9 commits into
base: main
Choose a base branch
from
Draft

Lists: Free Monoidal Groupoid #95

wants to merge 9 commits into from

Commits on Mar 26, 2024

  1. Begin work on proving the pentagon identity for list association

    @dignissimus
    dignissimus committed Mar 26, 2024
    Configuration menu
    Copy the full SHA
    930f21b View commit details
    Browse the repository at this point in the history

Commits on Mar 27, 2024

  1. Continue pentagon identity work

    @dignissimus
    dignissimus committed Mar 27, 2024
    Configuration menu
    Copy the full SHA
    22788d5 View commit details
    Browse the repository at this point in the history

  2. Sketch list-⬠

    @vikraman
    vikraman committed Mar 27, 2024
    Configuration menu
    Copy the full SHA
    ec6aeae View commit details
    Browse the repository at this point in the history

Commits on Mar 29, 2024

  1. Prove the list pentagon identity

    @dignissimus
    dignissimus committed Mar 29, 2024
    Configuration menu
    Copy the full SHA
    9c9737d View commit details
    Browse the repository at this point in the history

Commits on Apr 11, 2024

  1. Remove redundant proof steps

    @dignissimus
    dignissimus committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    3a95b1e View commit details
    Browse the repository at this point in the history

Commits on Apr 13, 2024

  1. Add sketch for monoidal functor out of List

    @vikraman
    vikraman committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    eb3f67b View commit details
    Browse the repository at this point in the history

Commits on Apr 17, 2024

  1. Begin proofs for free monoidal groupid

    @dignissimus
    dignissimus committed Apr 17, 2024
    Configuration menu
    Copy the full SHA
    96ffc28 View commit details
    Browse the repository at this point in the history

  2. Add lines for the nil case of ♯-Λ

    @dignissimus
    dignissimus committed Apr 17, 2024
    Configuration menu
    Copy the full SHA
    61ef12b View commit details
    Browse the repository at this point in the history

Commits on Apr 26, 2024

  1. Complete the proof for the nil case of ♯-Λ

    @dignissimus
    dignissimus committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    226e0d3 View commit details
    Browse the repository at this point in the history