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

Dependent universal property of suspensions #718

Merged
merged 38 commits into from
Sep 9, 2023
Merged

Dependent universal property of suspensions #718

merged 38 commits into from
Sep 9, 2023

Commits on Aug 2, 2023

  1. add syntax

    @morphismz
    morphismz committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    6969b19 View commit details
    Browse the repository at this point in the history

  2. Revert "add syntax" 

    This reverts commit 6969b19.
    @morphismz
    morphismz committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    44870c7 View commit details
    Browse the repository at this point in the history

Commits on Aug 6, 2023

  1. Merge branch 'UniMath:master' into master

    @morphismz
    morphismz committed Aug 6, 2023
    Configuration menu
    Copy the full SHA
    192eb76 View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2023

  1. Merge branch 'UniMath:master' into master

    @morphismz
    morphismz committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    881edaa View commit details
    Browse the repository at this point in the history

  2. Merge branch 'UniMath:master' into master

    @morphismz
    morphismz committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    b003377 View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2023

  1. Merge branch 'UniMath:master' into master

    @morphismz
    morphismz committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    67d6cb2 View commit details
    Browse the repository at this point in the history

Commits on Aug 19, 2023

  1. Merge branch 'UniMath:master' into master

    @morphismz
    morphismz committed Aug 19, 2023
    Configuration menu
    Copy the full SHA
    885b0b2 View commit details
    Browse the repository at this point in the history

Commits on Aug 20, 2023

  1. Merge branch 'UniMath:master' into master

    @morphismz
    morphismz committed Aug 20, 2023
    Configuration menu
    Copy the full SHA
    d4979d9 View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2023

  1. Merge branch 'master' into stable

    @morphismz
    morphismz committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    ea71df2 View commit details
    Browse the repository at this point in the history

  2. move text

    @morphismz
    morphismz committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    a71129a View commit details
    Browse the repository at this point in the history

  3. dependent suspension structures

    @morphismz
    morphismz committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    38eb24a View commit details
    Browse the repository at this point in the history

  4. dependent up suspension

    @morphismz
    morphismz committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    b31ff60 View commit details
    Browse the repository at this point in the history

  5. update suspensions-of-types

    @morphismz
    morphismz committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    3fbc404 View commit details
    Browse the repository at this point in the history

  6. homotopies of functions out of suspensions

    @morphismz
    morphismz committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    30bf7f9 View commit details
    Browse the repository at this point in the history

  7. pre-commit

    @morphismz
    morphismz committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    be72f67 View commit details
    Browse the repository at this point in the history

  8. pre-commit fixes

    @morphismz
    morphismz committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    d9f51df View commit details
    Browse the repository at this point in the history

  9. simplify function

    @morphismz
    morphismz committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    977f864 View commit details
    Browse the repository at this point in the history

  10. pre-commit

    @morphismz
    morphismz committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    d90e87f View commit details
    Browse the repository at this point in the history

Commits on Sep 1, 2023

  1. renaming

    @morphismz
    morphismz committed Sep 1, 2023
    Configuration menu
    Copy the full SHA
    24c08e8 View commit details
    Browse the repository at this point in the history

  2. renaming fixes

    @morphismz
    morphismz committed Sep 1, 2023
    Configuration menu
    Copy the full SHA
    19046a7 View commit details
    Browse the repository at this point in the history

  3. pre-commit fixes

    @morphismz
    morphismz committed Sep 1, 2023
    Configuration menu
    Copy the full SHA
    c3f755d View commit details
    Browse the repository at this point in the history

Commits on Sep 7, 2023

  1. Merge branch 'master' into dependent-up-susp

    @morphismz
    morphismz committed Sep 7, 2023
    Configuration menu
    Copy the full SHA
    7a3494a View commit details
    Browse the repository at this point in the history

  2. Apply suggestions from code review 

    Co-authored-by: Egbert Rijke <e.m.rijke@gmail.com>
    @morphismz @EgbertRijke
    morphismz and EgbertRijke committed Sep 7, 2023
    Configuration menu
    Copy the full SHA
    0c0ac56 View commit details
    Browse the repository at this point in the history

Commits on Sep 8, 2023

  1. rename equivalence

    @morphismz
    morphismz committed Sep 8, 2023
    Configuration menu
    Copy the full SHA
    e37441e View commit details
    Browse the repository at this point in the history

  2. variable changes

    @morphismz
    morphismz committed Sep 8, 2023
    Configuration menu
    Copy the full SHA
    6c0ad61 View commit details
    Browse the repository at this point in the history

  3. pre-commit

    @morphismz
    morphismz committed Sep 8, 2023
    Configuration menu
    Copy the full SHA
    288b5f1 View commit details
    Browse the repository at this point in the history

  4. variable fixes

    @morphismz
    morphismz committed Sep 8, 2023
    Configuration menu
    Copy the full SHA
    8d70f43 View commit details
    Browse the repository at this point in the history

  5. variable fixes

    @morphismz
    morphismz committed Sep 8, 2023
    Configuration menu
    Copy the full SHA
    746ae11 View commit details
    Browse the repository at this point in the history

  6. implicit variables

    @morphismz
    morphismz committed Sep 8, 2023
    Configuration menu
    Copy the full SHA
    f5598f4 View commit details
    Browse the repository at this point in the history

  7. Apply suggestions from code review 

    Co-authored-by: Egbert Rijke <e.m.rijke@gmail.com>
    @morphismz @EgbertRijke
    morphismz and EgbertRijke committed Sep 8, 2023
    Configuration menu
    Copy the full SHA
    0dc1498 View commit details
    Browse the repository at this point in the history

  8. parenhesis

    @morphismz
    morphismz committed Sep 8, 2023
    Configuration menu
    Copy the full SHA
    73bf308 View commit details
    Browse the repository at this point in the history

  9. pre-commit

    @morphismz
    morphismz committed Sep 8, 2023
    Configuration menu
    Copy the full SHA
    4fb872f View commit details
    Browse the repository at this point in the history

  10. add necessary parenthsis

    @morphismz
    morphismz committed Sep 8, 2023
    Configuration menu
    Copy the full SHA
    4687971 View commit details
    Browse the repository at this point in the history

Commits on Sep 9, 2023

  1. Update src/synthetic-homotopy-theory/dependent-suspension-structures.… 

    …lagda.md
    @EgbertRijke
    EgbertRijke committed Sep 9, 2023
    Configuration menu
    Copy the full SHA
    fa0d82d View commit details
    Browse the repository at this point in the history

  2. Update src/synthetic-homotopy-theory/dependent-suspension-structures.… 

    …lagda.md
    @EgbertRijke
    EgbertRijke committed Sep 9, 2023
    Configuration menu
    Copy the full SHA
    726885d View commit details
    Browse the repository at this point in the history

  3. Update src/synthetic-homotopy-theory/dependent-suspension-structures.… 

    …lagda.md
    @EgbertRijke
    EgbertRijke committed Sep 9, 2023
    Configuration menu
    Copy the full SHA
    1bbadf3 View commit details
    Browse the repository at this point in the history

  4. Update src/synthetic-homotopy-theory/dependent-suspension-structures.… 

    …lagda.md
    @EgbertRijke
    EgbertRijke committed Sep 9, 2023
    Configuration menu
    Copy the full SHA
    b7cba83 View commit details
    Browse the repository at this point in the history

  5. Update src/synthetic-homotopy-theory/dependent-universal-property-sus… 

    …pensions.lagda.md
    @EgbertRijke
    EgbertRijke committed Sep 9, 2023
    Configuration menu
    Copy the full SHA
    7028907 View commit details
    Browse the repository at this point in the history