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

Functoriality of morphisms of arrows #1130

Merged
merged 26 commits into from
Oct 27, 2024
Merged

Functoriality of morphisms of arrows #1130

merged 26 commits into from
Oct 27, 2024

Commits on Apr 26, 2024

  1. Bicomposition of functions

    @fredrik-bakke
    fredrik-bakke committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    12fcdef View commit details
    Browse the repository at this point in the history

  2. infrastructure for morphisms of cospan diagrams

    @fredrik-bakke
    fredrik-bakke committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    5657fcf View commit details
    Browse the repository at this point in the history

  3. functoriality of pullbacks

    @fredrik-bakke
    fredrik-bakke committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    fd46f52 View commit details
    Browse the repository at this point in the history

  4. functoriality of the pullback-hom

    @fredrik-bakke
    fredrik-bakke committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    f878079 View commit details
    Browse the repository at this point in the history

  5. the proof-assistant has spoken

    @fredrik-bakke
    fredrik-bakke committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    6257cb4 View commit details
    Browse the repository at this point in the history

Commits on Apr 27, 2024

  1. clean up proof

    @fredrik-bakke
    fredrik-bakke committed Apr 27, 2024
    Configuration menu
    Copy the full SHA
    d579571 View commit details
    Browse the repository at this point in the history

  2. The functorial action on maps of pullbacks preserves homotopies

    @fredrik-bakke
    fredrik-bakke committed Apr 27, 2024
    Configuration menu
    Copy the full SHA
    e691c5b View commit details
    Browse the repository at this point in the history

  3. The bifunctorial action of the pullback-hom on arrows preserves ident… 

    …ities, composition and homotopies
    @fredrik-bakke
    fredrik-bakke committed Apr 27, 2024
    Configuration menu
    Copy the full SHA
    a8ef9c4 View commit details
    Browse the repository at this point in the history

  4. define pullback cones

    @fredrik-bakke
    fredrik-bakke committed Apr 27, 2024
    Configuration menu
    Copy the full SHA
    6f77ea1 View commit details
    Browse the repository at this point in the history

  5. prebase pullback cones onto cospan diagrams

    @fredrik-bakke
    fredrik-bakke committed Apr 27, 2024
    Configuration menu
    Copy the full SHA
    99c5703 View commit details
    Browse the repository at this point in the history

  6. rebase map-is-pullback onto pullback cones

    @fredrik-bakke
    fredrik-bakke committed Apr 27, 2024
    Configuration menu
    Copy the full SHA
    587b4d8 View commit details
    Browse the repository at this point in the history

  7. wip functoriality pullback hom

    @fredrik-bakke
    fredrik-bakke committed Apr 27, 2024
    Configuration menu
    Copy the full SHA
    275586a View commit details
    Browse the repository at this point in the history

Commits on Apr 28, 2024

  1. work

    @fredrik-bakke
    fredrik-bakke committed Apr 28, 2024
    Configuration menu
    Copy the full SHA
    b4f230d View commit details
    Browse the repository at this point in the history

Commits on Apr 29, 2024

  1. functoriality of morphisms of arrows*

    @fredrik-bakke
    fredrik-bakke committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    773f2d9 View commit details
    Browse the repository at this point in the history

  2. fix headers

    @fredrik-bakke
    fredrik-bakke committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    ec020cb View commit details
    Browse the repository at this point in the history

Commits on May 23, 2024

  1. Merge branch 'master' into functoriality-pullback-hom

    @fredrik-bakke
    fredrik-bakke authored May 23, 2024
    Configuration menu
    Copy the full SHA
    543ff50 View commit details
    Browse the repository at this point in the history

  2. fix link

    @fredrik-bakke
    fredrik-bakke committed May 23, 2024
    Configuration menu
    Copy the full SHA
    eadf5ed View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2024

  1. Merge branch 'master' into functoriality-pullback-hom

    @fredrik-bakke
    fredrik-bakke authored Oct 17, 2024
    Configuration menu
    Copy the full SHA
    6392ef4 View commit details
    Browse the repository at this point in the history

  2. adjustments

    @fredrik-bakke
    fredrik-bakke committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    d5c2e5c View commit details
    Browse the repository at this point in the history

  3. restore map-pullback-hom

    @fredrik-bakke
    fredrik-bakke committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    0d62455 View commit details
    Browse the repository at this point in the history

  4. more adjustments

    @fredrik-bakke
    fredrik-bakke committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    29011c7 View commit details
    Browse the repository at this point in the history

  5. merge conflicts

    @fredrik-bakke
    fredrik-bakke committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    f2b75e8 View commit details
    Browse the repository at this point in the history

  6. final touches

    @fredrik-bakke
    fredrik-bakke committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    fbcae34 View commit details
    Browse the repository at this point in the history

Commits on Oct 23, 2024

  1. pre-commit

    @fredrik-bakke
    fredrik-bakke committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    c61ce55 View commit details
    Browse the repository at this point in the history

Commits on Oct 27, 2024

  1. review

    @fredrik-bakke
    fredrik-bakke committed Oct 27, 2024
    Configuration menu
    Copy the full SHA
    07e46dc View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into functoriality-pullback-hom

    @EgbertRijke
    EgbertRijke authored Oct 27, 2024
    Configuration menu
    Copy the full SHA
    a4c46f4 View commit details
    Browse the repository at this point in the history