Published a new chapter of #categorytheoryillustrated - Types
abuseofnotation.github.io/category-theory-illustra...
#categorytheory #mathematics #haskell
3
4
0
0
Hashtag
#categorytheoryillustrated
Advertisement · 728 × 90
Screenshot from wikipedia, the counit of the tensor hom adjunction: Hom(X, Z) x X -> Z
Random #categorytheory fact:
The counit of the tensor-hom adjunction is modus ponens:
Hom(X, Z) x X -> Z
(Hom(X, Z) is the homomorphism object between X and Z, roughly, the set of arrows from one to the other)
I still wonder how to explain it in #categorytheoryillustrated)
2
1
2
0
Ha, there are more chapters of #categorytheoryillustrated
, read in @exodrifter s stream
exodrifter.space/notes/category-theory-il...
1
0
0
0
Got another sale of #categorytheoryillustrated which is nice, as I had a chance to donate some money to @mona76 from #gaza
Buy my stuff, so I can keep donating:
https://ko-fi.com/abuseofnotation
https://www.patreon.com/abuseofnotation
https://abuseofnotation.gumroad.com/
And/or donate to them […]
6
0
0
0
Just donated the money from my last sale of #categorytheoryillustrated
Goes to @AsarSameer
Support me, so I can donate more:
ko-fi.com/abuseofnotation
https://www.patreon.com/abuseofnotation
https://abuseofnotation.gumroad.com/
Or, of course, donate to her directly […]
1
0
2
0
Got a sale of #categorytheoryillustrated and donated the money to
@Rawan_kh22 from #gaza
chuffed.org/project/148683-help-rawa...
I will donate most of the income from my books to people from #gaza
Buy my books on https://abuseofnotation.gumroad.com/
#math […]
0
0
0
0
Just got a few sales of #categorytheoryillustrated and donated the money to @aseelfromgz from #gaza
I plan to donate most from my sales to people from #gaza
Find people to support:
https://gaza-verified.org/people/
Or, buy my stuff:
https://ko-fi.com/abuseofnotation/ […]
0
1
1
0
Part two of the #categorytheoryillustrated stream:
https://www.exodrifter.space/vods/20251009171250
#categorytheory #Haskell
0
1
0
0
First chapter of #categorytheoryillustrated, read by @exodrifter
Stream: https://exodrifter.space/vods/20251002170023
Text: abuseofnotation.github.io/category-theory-illustra...
0
0
0
0
I updated #categorytheoryillustrated in Gumroad, ko-fi and patreon, those who purchased it can download the version with the new chapter and exercise answers from there.
https://ko-fi.com/
0
0
0
0
A screenshot of some diagrams from my book
New chapter on #categorytheoryillustrated
Natural transformations:
abuseofnotation.github.io/category-theory-illustra...
#math #mathematics #categorytheory #iamwriting
3
1
1
0
A screenshot from my book Category Theory Illustrated
I WILL finish #categorytheoryillustrated though, here is some sneak peak of the current chapter.
4
0
0
0
Idea:
Include connect-the-dots exercises in #categorytheoryillustrated e.g. draw all functions between some two sets.
Now I know I have to release a paper version!
0
0
0
0
#writing is good because it helps me grasp things that are completely obvious, but which I missed somehow...
e.g. I just realized that parametric polymorphic functions are natural transformations (and ad-hoc polymorphic functions are non-natural transformations)
All of Wadler's "theorems for […]
1
1
0
0
![A screenshot of the code of frequency.hs along with a list of most used words in Category Theory Illustrated: [("set",99),("functions",61),("function",59),("two",47),("one",47),("sets",43),("---",41),("other",31),("same",26),("element",25),("also",25),("some",23),("composition",23),("theory",22),("called",22),("about",22),("more",21),("way",20),("—",20),("between",19),("such",18),("numbers",17),("might",17),("concept",17),("isomorphisms",16),("category",16),("because",16),("programming",15),("number",15),("its",15),("example,",15),("target",14),("only",14),("just",14),("equivalence",14),("another",14),("type",13),("singleton",13),("people",13),("mathematical",13),("like",13),("functional",13),("any",13),("\\circ",13),("things",12),("person",12),("our",12),("most",12),("isomorphic",12),("empty",12)]](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:lvzdl55x22ggi6apjtqi4amk/bafkreigrnicswomfj2hqfavzhefwu5tifchw74u3h6jgmhd7dhtuhcpjba)
A screenshot of the code of frequency.hs along with a list of most used words in Category Theory Illustrated: [("set",99),("functions",61),("function",59),("two",47),("one",47),("sets",43),("---",41),("other",31),("same",26),("element",25),("also",25),("some",23),("composition",23),("theory",22),("called",22),("about",22),("more",21),("way",20),("—",20),("between",19),("such",18),("numbers",17),("might",17),("concept",17),("isomorphisms",16),("category",16),("because",16),("programming",15),("number",15),("its",15),("example,",15),("target",14),("only",14),("just",14),("equivalence",14),("another",14),("type",13),("singleton",13),("people",13),("mathematical",13),("like",13),("functional",13),("any",13),("\\circ",13),("things",12),("person",12),("our",12),("most",12),("isomorphic",12),("empty",12)]
Today's #haskell exercise:
Wrote a simple frequency checker, that shows you the most often-used words in a given text, here are the results for #categorytheoryillustrated
github.com/abuseofnotation/bin/blob...
#programming
1
1
0
0
#categorytheoryillustrated got a design makeover, plus there is some new content, at the ending of the second and fifth chapters.
I also started distributing a epub and pdf version of my books which are available for my Ko-fi and Patreon supporters […]
[Original post on mathstodon.xyz]
37
13
2
2
Updates on the second chapter of #categorytheoryillustrated, included a section about the connection between commutativity and associativity.
abuseofnotation.github.io/category-theory-illustra...
0
0
1
0