-
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
Uniqueness of adjunction data #131
Commits on Oct 20, 2023
-
constructed an automorphism between the object part of two unit compo…
…nents
emilyriehl committedOct 20, 2023 Configuration menu - View commit details
-
Copy full SHA for 4b2eb30 - Browse repository at this point
Copy the full SHA 4b2eb30View commit details
Commits on Oct 21, 2023
-
emilyriehl committed
Oct 21, 2023 Configuration menu - View commit details
-
Copy full SHA for a7f89da - Browse repository at this point
Copy the full SHA a7f89daView commit details -
emilyriehl committed
Oct 21, 2023 Configuration menu - View commit details
-
Copy full SHA for d6502c4 - Browse repository at this point
Copy the full SHA d6502c4View commit details -
emilyriehl committed
Oct 21, 2023 Configuration menu - View commit details
-
Copy full SHA for 564c885 - Browse repository at this point
Copy the full SHA 564c885View commit details -
finished proof constructing an identification between unit components
emilyriehl committedOct 21, 2023 Configuration menu - View commit details
-
Copy full SHA for 94c8f99 - Browse repository at this point
Copy the full SHA 94c8f99View commit details
Commits on Oct 22, 2023
-
Merge remote-tracking branch 'origin' into more-adjunctions
emilyriehl committedOct 22, 2023 Configuration menu - View commit details
-
Copy full SHA for 031d647 - Browse repository at this point
Copy the full SHA 031d647View commit details -
conversion to new style conventions?
emilyriehl committedOct 22, 2023 Configuration menu - View commit details
-
Copy full SHA for bbb604f - Browse repository at this point
Copy the full SHA bbb604fView commit details -
the equivalence between the type we want to prove is a proposition an…
…d the type in which all elements are equal
emilyriehl committedOct 22, 2023 Configuration menu - View commit details
-
Copy full SHA for 1d0ef54 - Browse repository at this point
Copy the full SHA 1d0ef54View commit details
Commits on Oct 25, 2023
-
Merge branch 'main' into more-adjunctions
Emily Riehl committedOct 25, 2023 Configuration menu - View commit details
-
Copy full SHA for 1ce0213 - Browse repository at this point
Copy the full SHA 1ce0213View commit details
Commits on Oct 26, 2023
-
Merge branch 'main' into more-adjunctions
Emily Riehl committedOct 26, 2023 Configuration menu - View commit details
-
Copy full SHA for 0f1f780 - Browse repository at this point
Copy the full SHA 0f1f780View commit details -
Merge branch 'main' into more-adjunctions
Emily Riehl committedOct 26, 2023 Configuration menu - View commit details
-
Copy full SHA for e871cf3 - Browse repository at this point
Copy the full SHA e871cf3View commit details
Commits on Oct 27, 2023
-
Merge branch 'main' into more-adjunctions
Emily Riehl committedOct 27, 2023 Configuration menu - View commit details
-
Copy full SHA for 2598589 - Browse repository at this point
Copy the full SHA 2598589View commit details