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

Right orthogonal fibrations #76

Merged
merged 23 commits into from
Oct 3, 2023
Merged

Right orthogonal fibrations #76

merged 23 commits into from
Oct 3, 2023

Commits on Sep 28, 2023

  1. define j-orthogonal and claim that they are closed under exp

    Tashi Walde authored and Tashi Walde committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    e047325 View commit details
    Browse the repository at this point in the history

  2. finish j-orthogonality exp and move to separate file

    Tashi Walde authored and Tashi Walde committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    a735809 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'naive-extext' into extension-fibrations

    Tashi Walde authored and Tashi Walde committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    2b55e82 View commit details
    Browse the repository at this point in the history

  4. attempt to prove stability under composition (broken)

    Tashi Walde authored and Tashi Walde committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    adba7dd View commit details
    Browse the repository at this point in the history

  5. Update src/simplicial-hott/04a-jorthogonality.rzk.md 

    Co-authored-by: Nikolai Kudasov <fizruk@users.noreply.github.com>
    @TashiWalde @fizruk
    TashiWalde and fizruk committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    efcf676 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'homotopy-pullbacks' into extension-fibrations

    Tashi Walde authored and Tashi Walde committed Sep 28, 2023
    Configuration menu
    Copy the full SHA
    35d91fc View commit details
    Browse the repository at this point in the history

Commits on Sep 29, 2023

  1. j-orthogonality for composition of shape inclusions

    Tashi Walde authored and Tashi Walde committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    e661c4d View commit details
    Browse the repository at this point in the history

  2. Merge branch 'extension-fibrations' of github.com:TashiWalde/sHoTT in… 

    …to extension-fibrations
    Tashi Walde authored and Tashi Walde committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    ff2ef39 View commit details
    Browse the repository at this point in the history

  3. j-orthogonal -> right orthogonal; add closure under shape comp

    Tashi Walde authored and Tashi Walde committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    e3fb831 View commit details
    Browse the repository at this point in the history

  4. some formatting

    Tashi Walde authored and Tashi Walde committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    494f79f View commit details
    Browse the repository at this point in the history

  5. functorial instance of cofibration-composition

    Tashi Walde authored and Tashi Walde committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    b448276 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'functorial-instance' into extension-fibrations

    Tashi Walde authored and Tashi Walde committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    ad21f71 View commit details
    Browse the repository at this point in the history

  7. left cancel for shape inclusions

    Tashi Walde authored and Tashi Walde committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    d5075fe View commit details
    Browse the repository at this point in the history

  8. Merge branch 'main' into extension-fibrations

    Tashi Walde authored and Tashi Walde committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    c60814d View commit details
    Browse the repository at this point in the history

  9. remove redundant comments

    Tashi Walde authored and Tashi Walde committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    652a532 View commit details
    Browse the repository at this point in the history

  10. add exposition

    Tashi Walde authored and Tashi Walde committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    a93b0c1 View commit details
    Browse the repository at this point in the history

  11. right-cancel-with-section (stub; broken)

    Tashi Walde authored and Tashi Walde committed Sep 29, 2023
    Configuration menu
    Copy the full SHA
    2d8d8dc View commit details
    Browse the repository at this point in the history

Commits on Sep 30, 2023

  1. cancel with section

    Tashi Walde authored and Tashi Walde committed Sep 30, 2023
    Configuration menu
    Copy the full SHA
    97a415e View commit details
    Browse the repository at this point in the history

  2. exact pullbacks of shapes

    Tashi Walde authored and Tashi Walde committed Sep 30, 2023
    Configuration menu
    Copy the full SHA
    17be61c View commit details
    Browse the repository at this point in the history

  3. relativization and shape-union

    Tashi Walde authored and Tashi Walde committed Sep 30, 2023
    Configuration menu
    Copy the full SHA
    b445124 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into functorial-instance

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

  5. Merge branch 'functorial-instance' into extension-fibrations

    Tashi Walde authored and Tashi Walde committed Sep 30, 2023
    Configuration menu
    Copy the full SHA
    96b4fd9 View commit details
    Browse the repository at this point in the history

Commits on Oct 3, 2023

  1. Merge branch 'main' into extension-fibrations

    Emily Riehl committed Oct 3, 2023
    Configuration menu
    Copy the full SHA
    b7bb1bc View commit details
    Browse the repository at this point in the history