Skip to content

Issues: UniMath/SymmetryBook

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

71 Open 98 Closed
71 Open 98 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

Can an object be considered the same if we change its type?
#196 opened Nov 3, 2023 by marcbezem
"ad" is not defined
#194 opened Aug 24, 2023 by ncfavier
1
Higher deloopings of abelian groups
#193 opened Aug 23, 2023 by UlrikBuchholtz
Potential inconsistency in coproduct notation
#189 opened Jul 25, 2023 by fizruk
1
The concept of homotopy type
#185 opened Jun 29, 2023 by marcbezem
2
Subscripts to \eqto
#182 opened Mar 2, 2023 by marcbezem
2
Rings and abstract rings
#176 opened Jan 26, 2023 by ghost
Expand App. B.1 to discuss principles compatible with decidable equality and program extraction
#173 opened Jan 12, 2023 by UlrikBuchholtz
Changing all xymatrix diagrams to tikzcd
#169 opened Dec 15, 2022 by favonia
@favonia
3
Moratorium on new global changes?
#161 opened Nov 28, 2022 by marcbezem
1
garbled text
#160 opened Nov 24, 2022 by DanGrayson
@bidundas
Identity crisis
#159 opened Nov 17, 2022 by marcbezem
@marcbezem
3
Homotopy initiality vs higher induction
#158 opened Nov 7, 2022 by ghost
1
chapter 3
#154 opened Sep 8, 2022 by DanGrayson
@DanGrayson
Theorem 3.1.2
#153 opened Sep 8, 2022 by DanGrayson
@DanGrayson
9
subtypes
#152 opened Sep 8, 2022 by DanGrayson
1
" merely "
#151 opened Sep 4, 2022 by DanGrayson
2
Notation for total space of family of types
#150 opened Sep 1, 2022 by marcbezem
3
"merely"
#148 opened Aug 25, 2022 by DanGrayson
5
isnType
#147 opened Aug 18, 2022 by DanGrayson
Definition of ordered field and real numbers
#143 opened Jul 5, 2022 by ghost
@DanGrayson
1
Scope of chapter 8
#141 opened Jul 5, 2022 by ghost
1
Definition of Pythagorean fields
#140 opened Jul 2, 2022 by ghost
5
Sign homomorphism
#138 opened Mar 18, 2022 by UlrikBuchholtz
13
Epi-Mono decomposition for groups
#136 opened Jan 27, 2022 by marcbezem
2
ProTip! Type g i on any issue or pull request to go back to the issue listing page.