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

Free categories, categories from generators and relations #422

Merged
merged 8 commits into from
Sep 23, 2024
Merged

Free categories, categories from generators and relations #422

merged 8 commits into from
Sep 23, 2024

Commits on Sep 23, 2024

  1. def: category of graphs, free categories are free

    @TOTBWF @plt-amy
    TOTBWF authored and plt-amy committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    a9380b2 View commit details
    Browse the repository at this point in the history

  2. def: F.intro

    @TOTBWF @plt-amy
    TOTBWF authored and plt-amy committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    8ac6202 View commit details
    Browse the repository at this point in the history

  3. def: commutative graphs

    @TOTBWF @plt-amy
    TOTBWF authored and plt-amy committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    dfe8c6a View commit details
    Browse the repository at this point in the history

  4. def: free categories over commutative graphs

    @TOTBWF @plt-amy
    TOTBWF authored and plt-amy committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    7011468 View commit details
    Browse the repository at this point in the history

  5. fix: add missing dash to link target

    @TOTBWF @plt-amy
    TOTBWF authored and plt-amy committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    cb3a65f View commit details
    Browse the repository at this point in the history

  6. prose: fix typos, improve wording.

    @TOTBWF @plt-amy
    TOTBWF authored and plt-amy committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    419fea0 View commit details
    Browse the repository at this point in the history

  7. refactor: rename commutative graphs to marked graphs

    @TOTBWF @plt-amy
    TOTBWF authored and plt-amy committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    29cef58 View commit details
    Browse the repository at this point in the history

  8. chore: sort imports

    @plt-amy
    plt-amy committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    3933290 View commit details
    Browse the repository at this point in the history