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

Simplex Category #375

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

Simplex Category #375

wants to merge 18 commits into from

Commits on Apr 11, 2024

  1. wip: simplex category overhaul

    @TOTBWF
    TOTBWF committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    783c10e View commit details
    Browse the repository at this point in the history

  2. wip: more triangles

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

  3. def: fibrewise embeddings

    @TOTBWF
    TOTBWF committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    7bbc34d View commit details
    Browse the repository at this point in the history

  4. def: misc fin/nat additions

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

  5. def: concrete categories + macro

    @TOTBWF
    TOTBWF committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    7f8cc9c View commit details
    Browse the repository at this point in the history

  6. wip: simplex category

    @TOTBWF
    TOTBWF committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    9c9b9f7 View commit details
    Browse the repository at this point in the history

Commits on Apr 12, 2024

  1. def: antiinjective and antisurjective functions

    @TOTBWF
    TOTBWF committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    23e90e9 View commit details
    Browse the repository at this point in the history

  2. def: version of identity system that works on loops

    @TOTBWF
    TOTBWF committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    c776607 View commit details
    Browse the repository at this point in the history

  3. def: more random nat/fin properties

    @TOTBWF
    TOTBWF committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    0810e8e View commit details
    Browse the repository at this point in the history

  4. def: cancellation of antiinj/surj functions

    @TOTBWF
    TOTBWF committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    7954f8a View commit details
    Browse the repository at this point in the history

  5. def: add not? to Data.Dec

    @TOTBWF
    TOTBWF committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    0400c1d View commit details
    Browse the repository at this point in the history

  6. def: univalence of simplex categories

    @TOTBWF
    TOTBWF committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    29b5a0c View commit details
    Browse the repository at this point in the history

  7. chore: sort imports

    @TOTBWF
    TOTBWF committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    7a2e676 View commit details
    Browse the repository at this point in the history

  8. chore: add missing code block

    @TOTBWF
    TOTBWF committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    1fdfa9b View commit details
    Browse the repository at this point in the history

Commits on Apr 13, 2024

  1. fix: fix link target

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

  2. prose: start cleaning up prose for simplices

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

  3. prose: explain composites of simplicial maps

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

  4. prose: more prose tweaks

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