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

Fiber products #111

Merged
merged 9 commits into from
Oct 13, 2023
Merged

Fiber products #111

merged 9 commits into from
Oct 13, 2023

Commits on Oct 11, 2023

  1. Merge pull request rzk-lang#109 from TashiWalde/clean-up-contractible 

    Clean up naming in 06-contractible
    @actions-user
    Emily Riehl authored and actions-user committed Oct 11, 2023
    Configuration menu
    Copy the full SHA
    c9d0a8c View commit details
    Browse the repository at this point in the history

  2. fiber products and relative products

    Tashi Walde authored and Tashi Walde committed Oct 11, 2023
    Configuration menu
    Copy the full SHA
    4924c5f View commit details
    Browse the repository at this point in the history

  3. fill region

    Tashi Walde authored and Tashi Walde committed Oct 11, 2023
    Configuration menu
    Copy the full SHA
    3f7bc11 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into fiber-products

    @TashiWalde
    TashiWalde committed Oct 11, 2023
    Configuration menu
    Copy the full SHA
    d341996 View commit details
    Browse the repository at this point in the history

  5. add projections and homotopy to fiber product

    Tashi Walde authored and Tashi Walde committed Oct 11, 2023
    Configuration menu
    Copy the full SHA
    dc3476b View commit details
    Browse the repository at this point in the history

Commits on Oct 12, 2023

  1. compute fiber product with unit type

    Tashi Walde authored and Tashi Walde committed Oct 12, 2023
    Configuration menu
    Copy the full SHA
    7261a92 View commit details
    Browse the repository at this point in the history

Commits on Oct 13, 2023

  1. Apply suggestions from code review 

    Co-authored-by: Fredrik Bakke <fredrbak@gmail.com>
    @TashiWalde @fredrik-bakke
    TashiWalde and fredrik-bakke committed Oct 13, 2023
    Configuration menu
    Copy the full SHA
    ebc3aa6 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into fiber-products

    @TashiWalde
    TashiWalde committed Oct 13, 2023
    Configuration menu
    Copy the full SHA
    018c822 View commit details
    Browse the repository at this point in the history

  3. autoformat

    Tashi Walde committed Oct 13, 2023
    Configuration menu
    Copy the full SHA
    e214982 View commit details
    Browse the repository at this point in the history