-
Notifications
You must be signed in to change notification settings - Fork 138
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
Univalent Category of SETOIDs , Setoids are not LCCC #1152
Draft
marcinjangrzybowski
wants to merge
22
commits into
agda:master
Choose a base branch
from
marcinjangrzybowski:setoid-slice
base: master
Could not load branches
Branch not found: {{ refName }}
Loading
Could not load tags
Nothing to show
Loading
Are you sure you want to change the base?
Some commits from the old base branch may be removed from the timeline,
and old review comments may become outdated.
Draft
Univalent Category of SETOIDs , Setoids are not LCCC #1152
marcinjangrzybowski
wants to merge
22
commits into
agda:master
from
marcinjangrzybowski:setoid-slice
Commits on Dec 4, 2023
-
* Cubical/Categories/Category/Path.agda Helper representation of Path between categories to deal with ineficiency in WeakEquivalence.agda * Cubical/Relation/Binary/Setoid.agda Setoid - Pair of hSet and propositional equivalence relation * Cubical/Categories/Instances/Setoids.agda Univalent Category of Setoids changes: * Cubical/Categories/Adjoint.agda added composiiton of adjunctions * Cubical/Categories/Equivalence/WeakEquivalence.agda Equivalence equivalent to Path for Univalent Categories * Cubical/Categories/Instances/Functors.agda currying of functors is an isomorphism. * Cubical/Foundations/Transport.agda transport-filler-ua = ua-gluePath + some other minor helpers
Configuration menu - View commit details
-
Copy full SHA for 92ccbff - Browse repository at this point
Copy the full SHA 92ccbffView commit details
Commits on Dec 5, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 8cd6eeb - Browse repository at this point
Copy the full SHA 8cd6eebView commit details -
Configuration menu - View commit details
-
Copy full SHA for d48cf4b - Browse repository at this point
Copy the full SHA d48cf4bView commit details
Commits on Jan 15, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 7ebe15d - Browse repository at this point
Copy the full SHA 7ebe15dView commit details
Commits on Jan 21, 2024
-
Configuration menu - View commit details
-
Copy full SHA for aab1d5e - Browse repository at this point
Copy the full SHA aab1d5eView commit details
Commits on Jan 22, 2024
-
Configuration menu - View commit details
-
Copy full SHA for b79c431 - Browse repository at this point
Copy the full SHA b79c431View commit details -
Configuration menu - View commit details
-
Copy full SHA for f68e19d - Browse repository at this point
Copy the full SHA f68e19dView commit details
Commits on Jan 28, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 0c5c7cb - Browse repository at this point
Copy the full SHA 0c5c7cbView commit details
Commits on Jan 30, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 6d319cb - Browse repository at this point
Copy the full SHA 6d319cbView commit details
Commits on Apr 2, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 69904be - Browse repository at this point
Copy the full SHA 69904beView commit details -
Configuration menu - View commit details
-
Copy full SHA for c42e230 - Browse repository at this point
Copy the full SHA c42e230View commit details -
Configuration menu - View commit details
-
Copy full SHA for 53650c6 - Browse repository at this point
Copy the full SHA 53650c6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 46a83f8 - Browse repository at this point
Copy the full SHA 46a83f8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 03244d0 - Browse repository at this point
Copy the full SHA 03244d0View commit details
Commits on Apr 3, 2024
-
Configuration menu - View commit details
-
Copy full SHA for b9e9394 - Browse repository at this point
Copy the full SHA b9e9394View commit details
Commits on Sep 2, 2024
-
Configuration menu - View commit details
-
Copy full SHA for cfeffb0 - Browse repository at this point
Copy the full SHA cfeffb0View commit details -
Configuration menu - View commit details
-
Copy full SHA for 72cf4ba - Browse repository at this point
Copy the full SHA 72cf4baView commit details -
Configuration menu - View commit details
-
Copy full SHA for cc3264c - Browse repository at this point
Copy the full SHA cc3264cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 96ca966 - Browse repository at this point
Copy the full SHA 96ca966View commit details -
Configuration menu - View commit details
-
Copy full SHA for 68c3a44 - Browse repository at this point
Copy the full SHA 68c3a44View commit details
Commits on Sep 10, 2024
-
Configuration menu - View commit details
-
Copy full SHA for ac23253 - Browse repository at this point
Copy the full SHA ac23253View commit details -
Configuration menu - View commit details
-
Copy full SHA for d0431e7 - Browse repository at this point
Copy the full SHA d0431e7View commit details
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.