abuseofnotation/category-theory-illustrated
1
1
Fork 0
mirror of https://github.com/abuseofnotation/category-theory-illustrated.git synced 2024-10-05 13:27:13 +03:00
Code Issues Packages Projects Releases Wiki Activity

Compare commits

base: abuseofnotation:793a5d7be754dcf79d1aca7f351b993a971e1f68
Branches Tags
abuseofnotation:master
abuseofnotation:numbers
abuseofnotation:two
abuseofnotation:dependabot/bundler/nokogiri-1.14.3
abuseofnotation:dependabot/bundler/commonmarker-0.23.9
abuseofnotation:functors
abuseofnotation:logic
abuseofnotation:comics
...
compare: abuseofnotation:fd2d8d861df04b9751e948b570ff912a81bf0e31
Branches Tags
abuseofnotation:master
abuseofnotation:numbers
abuseofnotation:two
abuseofnotation:dependabot/bundler/nokogiri-1.14.3
abuseofnotation:dependabot/bundler/commonmarker-0.23.9
abuseofnotation:functors
abuseofnotation:logic
abuseofnotation:comics

4 Commits
793a5d7be7 ... fd2d8d861d

Author SHA1 Message Date
abuseofnotation
fd2d8d861d
Merge pull request #53 from nlewycky/patch-1 
Fix coproduct_external.svg.
 2023-11-20 04:18:08 +02:00
abuseofnotation
77599677e6
Merge pull request #54 from nlewycky/patch-2 
Fix typo that caused formatting problem.
 2023-11-20 04:17:07 +02:00
nlewycky
cc0ce4a2ff
Fix typo that caused formatting problem. 2023-11-13 15:18:12 -08:00
nlewycky
c9539b55b0
Fix coproduct_external.svg. 
This SVG doesn't render in Chrome, with an error """This page contains the following errors:
error on line 17 at column 38: xmlns:ns: '&ns_ai;' is not a valid URI
Below is a rendering of the page up to the first error."""

ns_ai's schema is "http://ns.adobe.com/AdobeIllustrator/10.0/" but in this case we simply don't need it and should remove it.
 2023-11-09 18:37:46 -08:00
2 changed files with 2 additions and 4 deletions
Show Stats Expand all files Collapse all files

4
_chapters/02_category/coproduct_external.svg
View File

@ -13,8 +13,7 @@
xmlns:svg="http://www.w3.org/2000/svg"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:cc="http://creativecommons.org/ns#"
xmlns:dc="http://purl.org/dc/elements/1.1/"
xmlns:ns="&ns_ai;">
xmlns:dc="http://purl.org/dc/elements/1.1/">
<metadata
id="metadata2853">
<rdf:RDF>
@ -52,7 +51,6 @@
inkscape:pagecheckerboard="0"
inkscape:deskcolor="#d1d1d1" />
<g
ns:extraneous="self"
id="g2845"
transform="matrix(0.80243696,0,0,0.80243696,57.182648,9.227506)">
<circle

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 5.6 KiB

After

Width:  |  Height:  |  Size: 5.6 KiB

2
_chapters/03_monoid.md
View File

@ -336,7 +336,7 @@ https://faculty.uml.edu/klevasseur/ads/s-monoid-of-fsm.html
Groups/monoids categorically
===
We began by defining a monoid as a set of composable *elements*. Then we saw that for some groups, like the groups of symmetries and rotations, those elements can be viewed as *actions*. And this is actually true for all other groups as well, e.g. the *red ball* in our color-blending monoid can be seen as the action of *adding the color red$ to the mix, the number $2$ in the monoid of addition can be seen as the operation $+2$ etc. This observation leads to a categorical view of the theory of groups and monoids.
We began by defining a monoid as a set of composable *elements*. Then we saw that for some groups, like the groups of symmetries and rotations, those elements can be viewed as *actions*. And this is actually true for all other groups as well, e.g. the *red ball* in our color-blending monoid can be seen as the action of *adding the color red* to the mix, the number $2$ in the monoid of addition can be seen as the operation $+2$ etc. This observation leads to a categorical view of the theory of groups and monoids.
Currying
---