issues
search
abuseofnotation
/
category-theory-illustrated
A book about category theory
https://abuseofnotation.github.io/category-theory-illustrated/
320
stars
35
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Error in sentence
#60
cap-ricci
opened
1 month ago
0
fix: Add missing 'is' and 'a' to product/pair explanation
#59
414owen
closed
5 months ago
0
"Proof read" chapter 0 and 1
#58
FFFluoride
closed
6 months ago
5
typo fix 10_functors.md
#57
gbezyuk
closed
7 months ago
1
typo fix 05_logic.md
#56
gbezyuk
closed
7 months ago
0
Typo fix in 04_order.md
#55
gbezyuk
closed
7 months ago
0
Fix typo that caused formatting problem.
#54
nlewycky
closed
10 months ago
2
Fix coproduct_external.svg.
#53
nlewycky
closed
10 months ago
1
Update 01_set.md
#52
kartikchincholikar
closed
11 months ago
0
Minor issues with illustrations
#51
mikebohdan
closed
1 year ago
2
Update 02_category.md: fix grammatical errors and improve sentence structure
#50
akovacs
closed
1 year ago
1
Initial object diagram is backwards
#49
brianberns
closed
1 year ago
1
small error
#48
tromp
closed
1 year ago
1
Fix a few typos
#47
pitmonticone
closed
1 year ago
1
fix typo in chapter 02(category)
#46
jiwon-mun
closed
1 year ago
0
About ePub format output
#45
incetarik
closed
11 months ago
5
Bump nokogiri from 1.13.6 to 1.14.3
#44
dependabot[bot]
opened
1 year ago
0
Bump commonmarker from 0.23.5 to 0.23.9
#43
dependabot[bot]
opened
1 year ago
0
Fix index, about, 01_set
#42
astangl
closed
1 year ago
1
Fixed minor logo issue after seing this on HN
#41
abuseofnotation
closed
1 year ago
0
minor typos
#40
ronenlh
closed
1 year ago
2
move periods outside of brackets at the end of sentence in chapter 02
#39
rprominski
closed
1 year ago
1
A few typos
#38
aljazerzen
closed
1 year ago
1
Image of is letter function - incorrect mappings
#37
rprominski
closed
1 year ago
1
Fix typo in first chapter
#36
rprominski
closed
1 year ago
0
add missing 'of'
#35
jarekr
closed
1 year ago
1
Is the arrow direction wrong here?
#34
aljazerzen
closed
1 year ago
1
Isomorphism vs bijection
#33
aljazerzen
closed
1 year ago
3
Update 06_functors.md
#32
kinow
closed
1 year ago
2
fix typo: "moist interesting" → "most interesting"
#31
das-g
closed
1 year ago
0
For or: p → p ∨ q and p → p ∨ q
#30
majidaldo
closed
1 year ago
1
Grammar: it's > its
#29
majidaldo
closed
1 year ago
3
Bump nokogiri from 1.11.1 to 1.13.9
#28
dependabot[bot]
closed
1 year ago
1
Bump addressable from 2.7.0 to 2.8.1
#27
dependabot[bot]
closed
1 year ago
1
Singlton Example
#26
phikal
closed
1 year ago
4
Bump tzinfo from 1.2.9 to 1.2.10
#25
dependabot[bot]
closed
1 year ago
1
Bump nokogiri from 1.11.1 to 1.13.6
#24
dependabot[bot]
closed
1 year ago
1
Bump nokogiri from 1.11.1 to 1.13.4
#23
dependabot[bot]
closed
2 years ago
1
Bump nokogiri from 1.11.1 to 1.13.3
#22
dependabot[bot]
closed
2 years ago
1
Please may you make a libre license official?
#21
throwaway1037
closed
1 year ago
4
Illustrations for logical operators are hard to read
#20
Kaligule
closed
1 year ago
3
Chapter 02 - `isomorphism.svg` image is broken
#19
scriptin
closed
1 year ago
3
poset used without being defined
#18
PeterWhittaker
closed
2 years ago
1
Bump nokogiri from 1.11.1 to 1.12.5
#17
dependabot[bot]
closed
2 years ago
1
typo bold in lar of accociativity
#16
felix-engelmann
closed
3 years ago
1
Typo in Isomorphism reverse function g: R→G
#15
felix-engelmann
closed
3 years ago
1
typo: lthough -> although
#14
heliocorreia
closed
3 years ago
1
Fix cover page link
#13
mormegil-cz
closed
3 years ago
2
Fixing a small typo in the article about sets.
#12
taulant
closed
3 years ago
1
OR and AND diagram labels are reversed
#11
armatures
closed
3 years ago
2
Next