Skip to content

Issues: HoTT/book

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

Clear current search query, filters, and sorts
74 Open 561 Closed
74 Open 561 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Indexing of maps in fiber and exact sequences
#1155 by EricWay1024 was closed Feb 26, 2024
3
Nightly builds pdfs are dead links
#1150 by Jbollenbacher was closed Jan 13, 2024
8
Errata PDF unreadable
#1144 by christopherastone was closed Sep 5, 2023
Provided Hashes in errata.pdf Not Found
#1142 by jonaprieto was closed May 24, 2023
2
CI problem: "dubious ownership"
#1139 by mikeshulman was closed May 24, 2023
1
1
Cumulativity of the universe hierarchy
#1136 by FernandoChu was closed Feb 16, 2023
4
Use parentheses in the proof of Lemma 2.1.4(iii)
#1135 by Bolpat was closed Apr 24, 2023
3
Augment assumptions for Thm 5.4.4, 5.4.5, and 5.4.7
#1132 by HyunggyuJang was closed Dec 2, 2022
19
自动驾驶更新笔记 Autopilot Updating Notes
#1131 by gotonote was closed Nov 27, 2022
1
Rules for universes in Appendix A.2 are incomplete
#1127 by ghost was closed Oct 8, 2022
3
The Cauchy real numbers satisfy the fundamental theorem of algebra and are not Cauchy complete in the rest of the constructive mathematics literature
#1124 by ghost was closed Jul 16, 2022
9
Clarification of the proof of Lemma 6.2.9. (universal property of the circle)
#1123 by FernandoChu was closed May 23, 2023
1
10
Equivalence of path induction and based path induction
#1117 by IanRay11 was closed May 23, 2023
7
What qualifies as a "constructor" and the omitted $\equiv$ rules in appendix A.2
#1113 by FernandoChu was closed Jun 23, 2022
3
Broken links on https://homotopytypetheory.org/book/
#1105 by leahneukirchen was closed Mar 18, 2022
2
Redirects for nightly builds
#1103 by favonia was closed Mar 15, 2022
4
parenthesis missing on page 67
#1100 by prime235711 was closed Apr 9, 2023
6
errata marking script broken?
#1096 by mikeshulman was closed Mar 15, 2022
8
Equation equality-semigroup-mult not numbered in subsection 2.14.2
#1092 by ilhikki was closed Nov 8, 2021
1
1
Typo in §2.14
#1091 by ilhikki was closed Nov 8, 2021
1
1
Minor arguments typo in Definition 1.9.2
#1090 by EpicOrange was closed Nov 12, 2021
1
Typo in §2.9?
#1088 by ilhikki was closed Oct 4, 2021
1
Abbrev used before introduced
#1083 by sunziping2016 was closed Jul 21, 2021
6
eliminate ModuleMap in favor of Matrix
#1081 by DanGrayson was closed May 4, 2021
@DanGrayson
1
Typo in proof of commutativity of cardinal multiplication
#1080 by bowlerman was closed May 23, 2023
2
ProTip! What’s not been updated in a month: updated:<2025-02-11.