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

begin work on some homotopy coherences #113

Merged
merged 30 commits into from
Oct 27, 2023
Merged

begin work on some homotopy coherences #113

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
30 commits
Select commit Hold shift + click to select a range
d0b5465
begin work on some homotopy coherences
jonalfcam Oct 12, 2023
4770aba
added the eq-top-cancel function
jonalfcam Oct 12, 2023
0710acf
added an svg commutative diagram
jonalfcam Oct 12, 2023
8a1bef1
added a utility for path coherence
jonalfcam Oct 13, 2023
7e6c264
added commutative diagram for new utility
jonalfcam Oct 13, 2023
f065390
some complicated coherences added
jonalfcam Oct 15, 2023
0d5bc62
one more utility in paths, reversing a previous utility
jonalfcam Oct 15, 2023
04a9375
minor edits to the utilities
jonalfcam Oct 15, 2023
0cb0e87
more edits
jonalfcam Oct 15, 2023
214abd1
begin work on some homotopy coherences
jonalfcam Oct 12, 2023
15219fe
added the eq-top-cancel function
jonalfcam Oct 12, 2023
20728fd
added an svg commutative diagram
jonalfcam Oct 12, 2023
2908099
added a utility for path coherence
jonalfcam Oct 13, 2023
ca49b7d
added commutative diagram for new utility
jonalfcam Oct 13, 2023
5de415f
some complicated coherences added
jonalfcam Oct 15, 2023
bd23aa5
one more utility in paths, reversing a previous utility
jonalfcam Oct 15, 2023
8b17ef5
minor edits to the utilities
jonalfcam Oct 15, 2023
1cedae0
more edits
jonalfcam Oct 15, 2023
ed96b65
Merge branch 'htpy-coherence' of github.com:rzk-lang/sHoTT into htpy-…
jonalfcam Oct 15, 2023
ae6c231
dependent-homotopy to dhomotopy
jonalfcam Oct 15, 2023
353d535
Merge branch 'main' into htpy-coherence
Oct 22, 2023
bff7787
Update src/hott/01-paths.rzk.md
Oct 26, 2023
7c45772
Update src/hott/01-paths.rzk.md
Oct 26, 2023
ccd1656
Update src/hott/04-half-adjoint-equivalences.rzk.md
Oct 26, 2023
400e18c
Merge branch 'main' into htpy-coherence
Oct 26, 2023
0560d78
Update src/hott/02-homotopies.rzk.md
Oct 26, 2023
c9c0441
simplified a proof and fixed some indentation
jonalfcam Oct 27, 2023
2095645
Merge branch 'htpy-coherence' of github.com:rzk-lang/sHoTT into htpy-…
jonalfcam Oct 27, 2023
e4021a9
small edits around latex
jonalfcam Oct 27, 2023
1b553ae
Merge branch 'main' into htpy-coherence
Oct 27, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading