-
Notifications
You must be signed in to change notification settings - Fork 11
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.
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
Further progress on right orthogonal calculus #112
Further progress on right orthogonal calculus #112
Commits on Oct 11, 2023
-
composition and right cancel of right orthogonal maps
Tashi Walde authored and Tashi Walde committedOct 11, 2023 Configuration menu - View commit details
-
Copy full SHA for 59f7a49 - Browse repository at this point
Copy the full SHA 59f7a49View commit details -
Merge branch 'main' into right-orthogonal-calculus
Tashi Walde authored and Tashi Walde committedOct 11, 2023 Configuration menu - View commit details
-
Copy full SHA for 5af3914 - Browse repository at this point
Copy the full SHA 5af3914View commit details -
Merge branch 'fiber-products' into right-orthogonal-calculus
Tashi Walde authored and Tashi Walde committedOct 11, 2023 Configuration menu - View commit details
-
Copy full SHA for 04c9e38 - Browse repository at this point
Copy the full SHA 04c9e38View commit details -
Tashi Walde authored and Tashi Walde committed
Oct 11, 2023 Configuration menu - View commit details
-
Copy full SHA for 129303c - Browse repository at this point
Copy the full SHA 129303cView commit details -
Merge branch 'fiber-products' into right-orthogonal-calculus
Tashi Walde authored and Tashi Walde committedOct 11, 2023 Configuration menu - View commit details
-
Copy full SHA for 5d4e0b4 - Browse repository at this point
Copy the full SHA 5d4e0b4View commit details -
write statement (no proof yet)
Tashi Walde authored and Tashi Walde committedOct 11, 2023 Configuration menu - View commit details
-
Copy full SHA for 0dbbcb9 - Browse repository at this point
Copy the full SHA 0dbbcb9View commit details -
set up helper theory of generalized relative extension types
Tashi Walde authored and Tashi Walde committedOct 11, 2023 Configuration menu - View commit details
-
Copy full SHA for 6366815 - Browse repository at this point
Copy the full SHA 6366815View commit details -
make all relative types properly dependent
Tashi Walde authored and Tashi Walde committedOct 11, 2023 Configuration menu - View commit details
-
Copy full SHA for 77ebd95 - Browse repository at this point
Copy the full SHA 77ebd95View commit details -
prove that right orthogonal maps are preserved under pullback
Tashi Walde authored and Tashi Walde committedOct 11, 2023 Configuration menu - View commit details
-
Copy full SHA for c6c9ddf - Browse repository at this point
Copy the full SHA c6c9ddfView commit details
Commits on Oct 12, 2023
-
Tashi Walde authored and Tashi Walde committed
Oct 12, 2023 Configuration menu - View commit details
-
Copy full SHA for 874e02a - Browse repository at this point
Copy the full SHA 874e02aView commit details -
Tashi Walde authored and Tashi Walde committed
Oct 12, 2023 Configuration menu - View commit details
-
Copy full SHA for b2da825 - Browse repository at this point
Copy the full SHA b2da825View commit details -
Tashi Walde authored and Tashi Walde committed
Oct 12, 2023 Configuration menu - View commit details
-
Copy full SHA for ea0ce86 - Browse repository at this point
Copy the full SHA ea0ce86View commit details -
Tashi Walde authored and Tashi Walde committed
Oct 12, 2023 Configuration menu - View commit details
-
Copy full SHA for 6d24a94 - Browse repository at this point
Copy the full SHA 6d24a94View commit details -
Tashi Walde authored and Tashi Walde committed
Oct 12, 2023 Configuration menu - View commit details
-
Copy full SHA for 777e482 - Browse repository at this point
Copy the full SHA 777e482View commit details
Commits on Oct 13, 2023
-
Apply suggestions from code review
Co-authored-by: Fredrik Bakke <fredrbak@gmail.com>
Configuration menu - View commit details
-
Copy full SHA for e6bb318 - Browse repository at this point
Copy the full SHA e6bb318View commit details -
Merge branch 'main' into right-orthogonal-calculus
Tashi Walde committedOct 13, 2023 Configuration menu - View commit details
-
Copy full SHA for 2476b4c - Browse repository at this point
Copy the full SHA 2476b4cView commit details -
Tashi Walde committed
Oct 13, 2023 Configuration menu - View commit details
-
Copy full SHA for fc9b911 - Browse repository at this point
Copy the full SHA fc9b911View commit details -
Configuration menu - View commit details
-
Copy full SHA for ef6d3d0 - Browse repository at this point
Copy the full SHA ef6d3d0View commit details -
Update src/simplicial-hott/04-right-orthogonal.rzk.md
Co-authored-by: Fredrik Bakke <fredrbak@gmail.com>
Configuration menu - View commit details
-
Copy full SHA for e65b13a - Browse repository at this point
Copy the full SHA e65b13aView commit details