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

Theorem 5.8.2 from the book: characterizations of identity types #2143

Merged
merged 12 commits into from
Nov 26, 2024
Merged

Theorem 5.8.2 from the book: characterizations of identity types #2143

merged 12 commits into from
Nov 26, 2024

Commits on Nov 26, 2024

  1. Prove theorem 5.8.2 

    Co-authored-by: Dan Christensen <jdc+github@uwo.ca>
    @ThomatoTomato @jdchristensen
    ThomatoTomato and jdchristensen committed Nov 26, 2024
    Configuration menu
    Copy the full SHA
    08ac7f0 View commit details
    Browse the repository at this point in the history

  2. Weakening (ii) and style changes

    @ThomatoTomato @jdchristensen
    ThomatoTomato authored and jdchristensen committed Nov 26, 2024
    Configuration menu
    Copy the full SHA
    ab61cca View commit details
    Browse the repository at this point in the history

  3. (ii)' => (iii)

    @ThomatoTomato @jdchristensen
    ThomatoTomato authored and jdchristensen committed Nov 26, 2024
    Configuration menu
    Copy the full SHA
    9d763a5 View commit details
    Browse the repository at this point in the history

  4. Removed WIP

    @ThomatoTomato @jdchristensen
    ThomatoTomato authored and jdchristensen committed Nov 26, 2024
    Configuration menu
    Copy the full SHA
    53e4c80 View commit details
    Browse the repository at this point in the history

  5. Theorem 5.8.2

    @ThomatoTomato @jdchristensen
    ThomatoTomato authored and jdchristensen committed Nov 26, 2024
    Configuration menu
    Copy the full SHA
    28c3f1f View commit details
    Browse the repository at this point in the history

  6. Cleanup and reorganization in PathAny.v

    @ThomatoTomato @jdchristensen
    ThomatoTomato authored and jdchristensen committed Nov 26, 2024
    Configuration menu
    Copy the full SHA
    d05c1fc View commit details
    Browse the repository at this point in the history

  7. Move PathAny.v to Homotopy/IdentitySystems.v

    @ThomatoTomato @jdchristensen
    ThomatoTomato authored and jdchristensen committed Nov 26, 2024
    Configuration menu
    Copy the full SHA
    3c8cced View commit details
    Browse the repository at this point in the history

  8. IdentitySystems: some clean up

    @jdchristensen
    jdchristensen committed Nov 26, 2024
    Configuration menu
    Copy the full SHA
    f301a82 View commit details
    Browse the repository at this point in the history

  9. Contractibility and homotopy contractibility

    @ThomatoTomato @jdchristensen
    ThomatoTomato authored and jdchristensen committed Nov 26, 2024
    Configuration menu
    Copy the full SHA
    44dd7ec View commit details
    Browse the repository at this point in the history

  10. minor tweaks 

    Signed-off-by: Ali Caglayan <alizter@gmail.com>
    @Alizter @jdchristensen
    Alizter authored and jdchristensen committed Nov 26, 2024
    Configuration menu
    Copy the full SHA
    c8f853f View commit details
    Browse the repository at this point in the history

  11. trim trailing whitespace 

    Signed-off-by: Ali Caglayan <alizter@gmail.com>
    @Alizter @jdchristensen
    Alizter authored and jdchristensen committed Nov 26, 2024
    Configuration menu
    Copy the full SHA
    fd5a04e View commit details
    Browse the repository at this point in the history

  12. IdentitySystems: reflexive_pfammap_homotopy and cleanups

    @jdchristensen
    jdchristensen committed Nov 26, 2024
    Configuration menu
    Copy the full SHA
    ec5cbdc View commit details
    Browse the repository at this point in the history